139 search results - page 2 / 28 » Fable: A Language for Enforcing User-defined Security Polici... |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
COMPSAC
2008
IEEE
13 years 12 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...
PET
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
IFIP
2010
Springer
13 years 10 days ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
AINA
2007
IEEE
13 years 12 months ago
2007
IEEE
The Mobile Agent (MA) paradigm advocates the migration of agent code to achieve computational goals. MAs require an executable environment on hosts where mobile code can be execut...