5475 search results - page 257 / 1095 » Model Driven Security |
264
click to vote
ASIASIM
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
175
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
149
click to vote
WISEC
2009
ACM
16 years 1 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
178
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
149
click to vote
KER
2006
15 years 6 months ago
2006
This work examines the interplay of inter-personal and inter-organizational trust, two distinct but related concepts, through a theoretic inter-organizational trust-based security...