Sciweavers

314 search results - page 18 / 63
» Secure Information Flow and CPS
Sort
View
ISCA
2007
IEEE
109views Hardware» more  ISCA 2007»
14 years 1 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»
13 years 11 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
ICDCSW
2000
IEEE
13 years 10 months ago
Secure Information Flow in Mobile Bootstrapping Process
Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell