Search Sciweavers | Sciweavers

6293 search results - page 69 / 1259

» Information Flow Testing

click to vote

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

14 years 2 months ago

Download www.cs.virginia.edu

Ramesh V. Peri, William A. Wulf, Darrell M. Kienzl...

claim paper

Read More »

click to vote

SP
1990
IEEE

92views Security Privacy» more SP 1990»

Security Models and Information Flow

14 years 2 months ago

Download www.cs.cornell.edu

John McLean

claim paper

Read More »

click to vote

MPC
2010
Springer

156views Mathematics» more MPC 2010»

Compositionality of Secure Information Flow

14 years 2 months ago

Download mpc-amast2010.fsg.ulaval.ca

Catuscia Palamidessi

claim paper

Read More »

click to vote

ESORICS
2006
Springer

122views Security Privacy» more ESORICS 2006»

From Coupling Relations to Mated Invariants for Checking Information Flow

14 years 2 months ago

Download www.cs.stevens.edu

David A. Naumann

claim paper

Read More »

click to vote

ACSAC
2001
IEEE

88views Security Privacy» more ACSAC 2001»

An Information Flow Tool for Gypsy

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers