Sciweavers

314 search results - page 18 / 63
» Secure Information Flow and CPS
Sort
View
ISCA
2007
IEEE
109views Hardware» more  ISCA 2007»
15 years 7 months ago
Raksha: a flexible information flow architecture for software security
Michael Dalton, Hari Kannan, Christos Kozyrakis
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
15 years 5 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
ICDCSW
2000
IEEE
15 years 5 months ago
Secure Information Flow in Mobile Bootstrapping Process
Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell