671 search results - page 27 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
SDM
2007
SIAM
14 years 11 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...
JOC
2008
14 years 9 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
ASIACRYPT
2008
Springer
14 years 11 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...