713 search results - page 127 / 143 » Model Checking and Transitive-Closure Logic |
102
click to vote
AAAI
2006
15 years 15 hour ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
105
click to vote
IJNSEC
2008
14 years 10 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
105
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...