2043 search results - page 41 / 409 » Reasoning About Security Models |
104
click to vote
DBSEC
2010
15 years 1 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
105
click to vote
ATAL
2011
Springer
14 years 14 days ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
102
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
123
Voted
WETICE
2003
IEEE
15 years 5 months ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
90
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...