524 search results - page 2 / 105 » Enforcing Messaging Security Policies |
CCS
2003
ACM
13 years 10 months ago
2003
ACM
SP
2008
IEEE
13 years 4 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 ...
ACSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
WWW
2010
ACM
13 years 11 months ago
2010
ACM
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...