687 search results - page 27 / 138 » A Self-Policing Policy Language |
PLDI
2009
ACM
14 years 10 days ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
SAC
2003
ACM
14 years 28 days ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
WPES
2005
ACM
14 years 1 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...