Sciweavers

2079 search results - page 67 / 416
» Quantifying Information Flow
Sort
View
MM
2000
ACM
94views Multimedia» more  MM 2000»
15 years 6 months ago
Associating network flows with user and application information
Ralf Ackermann, Utz Roedig, Michael Zink, Carsten ...
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
15 years 6 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
CSFW
1996
IEEE
15 years 6 months ago
A Logic of Composition for Information Flow Predicates
Ramesh V. Peri, William A. Wulf, Darrell M. Kienzl...