5475 search results - page 364 / 1095 » Model Driven Security |
185
click to vote
RE
2007
Springer
16 years 26 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
176
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
182
click to vote
SP
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
179
click to vote
ASIACRYPT
2005
Springer
16 years 9 days ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
236
click to vote
IADIS
2003
15 years 8 months ago
2003
As an open source project, Open Simple Secure Transaction (OpenSST) protocol aims to be a secure and transactionoriented protocol for the unsecured network. At present a prototype...