407 search results - page 12 / 82 » An Ontology-based Approach to the Formalization of Informati... |
ISW
1997
Springer
13 years 11 months ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
SERP
2010
13 years 5 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
IJISEC
2007
13 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...