719 search results - page 64 / 144 » Proving Security Protocols Correct |
EUROCRYPT
1998
Springer
15 years 2 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...
REFLECTION
2001
Springer
15 years 2 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...
LPAR
2007
Springer
15 years 3 months 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...
106
click to vote
FORTE
2003
14 years 11 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...
ASIAN
2006
Springer
15 years 1 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...