2270 search results - page 214 / 454 » Modelling Secure IT Systems - A Survey |
168
click to vote
CISS
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
107
Voted
USS
2008
15 years 6 months ago
2008
Panic passwords allow a user to signal duress during authentication. We show that the well-known model of giving a user two passwords, a `regular' and a `panic' password...
154
Voted
APVIS
2009
15 years 5 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
126
click to vote
RP
2009
Springer
15 years 10 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
120
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...