3082 search results - page 11 / 617 » Deviation Analysis: A New Use of Model Checking |
FM
2003
Springer
15 years 5 months ago
2003
Springer
WECWIS
2000
IEEE
15 years 4 months ago
2000
IEEE
133
click to vote
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
90
Voted
PR
2008
14 years 11 months ago
2008
Given the pervasive nature of malicious mobile code (viruses, worms, etc.), developing statistical/structural models of code execution is of considerable importance. We investigat...