719 search results - page 64 / 144 » Proving Security Protocols Correct |
181
click to vote
EUROCRYPT
1998
Springer
15 years 10 months ago
1998
Springer
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
158
click to vote
REFLECTION
2001
Springer
15 years 10 months ago
2001
Springer
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...
173
click to vote
LPAR
2007
Springer
16 years 5 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
182
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
150
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...