447 search results - page 15 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
100
click to vote
CCS
2009
ACM
15 years 4 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
SAC
2000
ACM
15 years 2 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
78
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...