687 search results - page 22 / 138 » A Self-Policing Policy Language |
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 ...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
WMCSA
2002
IEEE
14 years 17 days ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...
AUTOMATICA
2004
13 years 7 months ago
2004
This paper formulates an unconstrained optimal policy for control of regular languages realized as deterministic
POPL
2000
ACM
14 years 1 days ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...