Open AccessOn the Specification, Validation and Verification of Security in Access Control Systems
Author(s) -
Greg O’Shea
Publication year - 1994
Publication title -
the computer journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.319
H-Index - 64
eISSN - 1460-2067
pISSN - 0010-4620
DOI - 10.1093/comjnl/37.5.437
Subject(s) - computer science , access control , enforcement , reliability (semiconductor) , computer security model , computer security , role based access control , power (physics) , physics , quantum mechanics , political science , law
the poor realibility of access control mechanisms for security enforcement is investigated. Fundamental problems effecting the specification, validation and verification of access controls as security enforcing functions are identified
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom