469 search results - page 18 / 94 » On Adversary Models and Compositional Security |
DIAU
2000
Springer
13 years 12 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...
INFORMATICALT
2007
13 years 7 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ACISP
2005
Springer
14 years 1 months ago
2005
Springer
We present a provably secure tree based authenticated group key agreement protocol in dynamic scenario. Bilinear pairing and multi-signature are at the heart of our protocol. We p...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
SASN
2005
ACM
14 years 1 months ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...