407 search results - page 8 / 82 » An Ontology-based Approach to the Formalization of Informati... |
FLAIRS
2000
13 years 8 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
ICCS
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
ISSA
2008
13 years 8 months ago
2008
The approach to information security governance has predominantly followed a functionalist paradigm with emphasis placed on formalized rule structures and policy frameworks. The a...
JHSN
2006
13 years 7 months ago
2006
: With IPSec/VPN policies being widely deployed, how to correctly specify and configure them is critical in enforcing security requirements. Under current practice, IPSec/VPN polic...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...