429 search results - page 21 / 86 » Compositionality of Secure Information Flow |
56
Voted
MPC
1998
Springer
15 years 1 months ago
1998
Springer
ICDCSW
2000
IEEE
15 years 1 months ago
2000
IEEE
DBSEC
2003
14 years 11 months ago
2003
103
click to vote
ESORICS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...