1599 search results - page 105 / 320 » Program Analysis for Security and Privacy |
105
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
161
Voted
PET
2005
Springer
15 years 9 months ago
2005
Springer
Parallel mixing [7] is a technique for optimizing the latency of a synchronous re-encryption mix network. We analyze the anonymity of this technique when an adversary can learn the...
135
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
118
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Scalability is a many-sided property which can be captured in a scalability metric that balances cost, volume, timeliness and other attirbutes of value in the system, as a functio...
111
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...