715 search results - page 64 / 143 » On Run-Time Enforcement of Policies |
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
SSWMC
2004
13 years 9 months ago
2004
Digital fingerprints are unique labels inserted in different copies of the same content before distribution. Each digital fingerprint is assigned to an intended recipient, and can...
LISP
2002
13 years 7 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— The traffic exchanged between two overlay nodes in different autonomous systems (AS) is always subjected to a series of inter-domain policies. However, overlay routing often m...
ICDCS
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper introduces a mechanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed as the embodiment of a contrac...