455 search results - page 4 / 91 » A Logical Account of NGSCB |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
KI
2006
Springer
13 years 7 months ago
2006
Springer
ACSAC
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, an...
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...