3420 search results - page 3 / 684 » A Language-Based Approach to Security |
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
CSFW
2008
IEEE
13 years 12 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer