5255 search results - page 792 / 1051 » Formal Methods for Privacy |
166
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
145
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
179
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
160
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
178
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...