378 search results - page 60 / 76 » Programming with Explicit Security Policies |
WWW
2007
ACM
16 years 9 days ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
192
click to vote
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
CCS
2005
ACM
15 years 5 months ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...