2270 search results - page 184 / 454 » Modelling Secure IT Systems - A Survey |
162
click to vote
ESORICS
2007
Springer
16 years 20 days 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...
196
click to vote
ISM
2005
IEEE
16 years 3 days 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...
215
click to vote
CAV
2009
Springer
15 years 10 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...
177
click to vote
SAC
2009
ACM
16 years 1 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...
171
click to vote
DSN
2007
IEEE
16 years 26 days 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 ...