Sciweavers

294 search results - page 4 / 59
» Analyzing Consistency of Security Policies
Sort
View
ESORICS
2000
Springer
13 years 10 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
ACSAC
1999
IEEE
13 years 11 months ago
Security Policy Coordination for Heterogeneous Information Systems
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
John Hale, Pablo Galiasso, Mauricio Papa, Sujeet S...
EGCDMAS
2004
147views ECommerce» more  EGCDMAS 2004»
13 years 8 months ago
Should We Prove Security Policies Correct?
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
Sebastiano Battiato, Giampaolo Bella, Salvatore Ri...
CCS
2006
ACM
13 years 10 months ago
Defeasible security policy composition for web services
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A...
HICSS
2010
IEEE
139views Biometrics» more  HICSS 2010»
13 years 4 months ago
Quality and Fairness of an Information Security Policy As Antecedents of Employees' Security Engagement in the Workplace: An Emp
This paper investigates the impact of the characteristics of information security policy (ISP) on an employee's security compliance in the workplace. Two factors were propose...
Burcu Bulgurcu, Hasan Cavusoglu, Izak Benbasat