4111 search results - page 156 / 823 » Security, Protocols, and Trust |
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
ACISP
2004
Springer
14 years 3 months ago
2004
Springer
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
In traditional database security research, the database is usually assumed to be trustworthy. Under this assumption, the goal is to achieve security against external attacks (e.g....
ISCIS
2003
Springer
14 years 3 months ago
2003
Springer
In this paper, we describe a secure group communication protocol for a fault-tolerant synchronous ring. Our protocol, named Secure Synchronous Ring Protocol (SSRP), integrates a se...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...