Search Sciweavers | Sciweavers

1995 search results - page 88 / 399

» Belief in Information Flow

click to vote

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

14 years 1 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

click to vote

MPC
1998
Springer

81views Mathematics» more MPC 1998»

A Semantic Approach to Secure Information Flow

14 years 1 months ago

Download www.hpl.hp.com

K. Rustan M. Leino, Rajeev Joshi

claim paper

Read More »

click to vote

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

14 years 1 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 1 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 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers