674 search results - page 73 / 135 » Using Abuse Case Models for Security Requirements Analysis |
DEBS
2010
ACM
14 years 2 months ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
POPL
1999
ACM
14 years 2 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
TCC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
CAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...