5324 search results - page 164 / 1065 » Internet Security Protocols |
191
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
129
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
117
click to vote
ECIS
2001
15 years 5 months ago
2001
With the explosive growth of the Internet in the 1990s, the scalability of current technologies has become a significant issue. The current version of Internet Protocol version 4 ...
133
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...
168
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...