2270 search results - page 202 / 454 » Modelling Secure IT Systems - A Survey |
144
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
103
click to vote
SAFECOMP
2000
Springer
15 years 7 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
120
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
124
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
110
click to vote
EUROSYS
2007
ACM
16 years 28 days ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...