8644 search results - page 180 / 1729 » On the Composition of Secure Systems |
181
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
172
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
206
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
140
Voted
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
184
click to vote
ICIW
2007
IEEE
16 years 28 days ago
2007
IEEE
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...