142 search results - page 4 / 29 » Protocol Algebra |
ISCC
2006
IEEE
15 years 4 months ago
2006
IEEE
JLP
2008
14 years 10 months ago
2008
IPPS
2008
IEEE
15 years 4 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...
CRYPTO
2008
Springer
14 years 12 months ago
2008
Springer
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
77
Voted
FCT
2003
Springer
15 years 3 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...