378 search results - page 2 / 76 » Programming with Explicit Security Policies |
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
ENTCS
2007
13 years 4 months ago
2007
The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of ...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
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...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
