3115 search results - page 380 / 623 » Synthesizing Secure Protocols |
165
click to vote
ACNS
2008
Springer
16 years 28 days ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
184
click to vote
ICIW
2007
IEEE
16 years 27 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...
183
click to vote
ATC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
179
click to vote
ICPPW
2005
IEEE
16 years 5 days ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
198
click to vote
ESORICS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....