Sciweavers

311 search results - page 19 / 63
» Secure Information Flow by Self-Composition
Sort
View
164
Voted
FCT
2005
Springer
16 years 1 months ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
15 years 11 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
174
Voted
MPC
2010
Springer
156views Mathematics» more  MPC 2010»
15 years 11 months ago
Compositionality of Secure Information Flow
Catuscia Palamidessi
ICDCSW
2000
IEEE
15 years 11 months ago
Secure Information Flow in Mobile Bootstrapping Process
Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell