196 search results - page 28 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
ACISP
2009
Springer
15 years 4 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
109
click to vote
ASIACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
100
click to vote
SP
2008
IEEE
14 years 8 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
111
click to vote
CONCUR
2010
Springer
14 years 9 months ago
2010
Springer
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusi...