127 search results - page 8 / 26 » Towards Practical Enforcement Theories |
ENTCS
2006
13 years 9 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
ICFP
2009
ACM
14 years 10 months 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 ...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
IEEEIAS
2007
IEEE
14 years 4 months ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
ESORICS
2006
Springer
14 years 1 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...