5475 search results - page 430 / 1095 » Model Driven Security |
158
click to vote
FSKD
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
185
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
161
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
172
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
209
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Undeniable signatures were proposed to limit the public verification property of ordinary digital signature. In fact, the verification of such signatures cannot be obtained withou...