2270 search results - page 184 / 454 » Modelling Secure IT Systems - A Survey |
120
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
160
Voted
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
Ubiquitous Computing foresees a massively networked world supporting a population of diverse but cooperating mobile devices where trust relationships between entities are uncertai...
171
click to vote
CAV
2009
Springer
15 years 7 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
142
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Online feedback-based rating systems are gaining popularity. Dealing with collaborative unfair ratings in such systems has been recognized as an important but difficult problem. T...
128
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...