741 search results - page 9 / 149 » Verification of security protocols using LOTOS-method and ap... |
COMPSEC
2010
14 years 8 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
102
click to vote
CSFW
2009
IEEE
15 years 3 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
63
Voted
SP
2000
IEEE
15 years 4 months ago
2000
IEEE
The law of Conservation of Flow, which states that an input must either be absorbed or sent on as an output (possibly with modification), is an attractive tool with which to analy...
SIGCOMM
2010
ACM
14 years 11 months ago
2010
ACM
In response to high-profile Internet outages, BGP security variants have been proposed to prevent the propagation of bogus routing information. To inform discussions of which vari...
99
Voted
C3S2E
2009
ACM
15 years 3 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...