105 search results - page 12 / 21 » Apply Model Checking to Security Analysis in Trust Managemen... |
103
click to vote
IEEEARES
2009
IEEE
14 years 7 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
OOPSLA
2005
Springer
15 years 2 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
ER
2004
Springer
15 years 2 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
154
click to vote
BIRTHDAY
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
SACMAT
2009
ACM
15 years 3 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...