3885 search results - page 271 / 777 » Clarifying Goal Models |
149
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
146
click to vote
MONTEREY
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
155
click to vote
QEST
2006
IEEE
16 years 17 days ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
191
click to vote
NDSS
2005
IEEE
16 years 4 days ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
208
click to vote
EUROCAST
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...