3468 search results - page 99 / 694 » An open logical framework |
113
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
88
Voted
HOTOS
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
118
click to vote
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
84
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
159
click to vote
DANCE
2002
IEEE
15 years 5 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...