Sciweavers

1795 search results - page 9 / 359
» Security Models and Information Flow
Sort
View
94
Voted
CCS
2007
ACM
15 years 9 months ago
Verification condition generation for conditional information flow
Torben Amtoft, Anindya Banerjee
99
Voted
ACSAC
2001
IEEE
15 years 7 months ago
An Information Flow Tool for Gypsy
John McHugh
106
Voted
CSFW
2010
IEEE
15 years 6 months ago
Quantitative Information Flow - Verification Hardness and Possibilities
Hirotoshi Yasuoka, Tachio Terauchi
168
Voted
JCS
2008
124views more  JCS 2008»
15 years 3 months ago
Securing information flow via dynamic capture of dependencies
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
Paritosh Shroff, Scott F. Smith, Mark Thober