Search Sciweavers | Sciweavers

2079 search results - page 67 / 416

» Quantifying Information Flow

click to vote

MM
2000
ACM

94views Multimedia» more MM 2000»

Associating network flows with user and application information

14 years 2 days ago

Download folk.uio.no

Ralf Ackermann, Utz Roedig, Michael Zink, Carsten ...

claim paper

Read More »

click to vote

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

13 years 12 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

13 years 12 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

13 years 12 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers