573 search results - page 32 / 115 » Security Analysis of Voice-over-IP Protocols |
100
click to vote
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
CCS
2001
ACM
15 years 2 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 ...
IACR
2011
13 years 9 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
CSFW
2011
IEEE
13 years 9 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Under highly security vulnerable, resource restricted, and dynamically changing mobile ad hoc environments, it is critical to be able to maximize the system lifetime while boundin...