22 search results - page 4 / 5 » CCS with Priority Guards |
TAPSOFT
1991
Springer
13 years 9 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
SIGCOMM
2004
ACM
13 years 11 months ago
2004
ACM
As our economy and critical infrastructure increasingly relies on the Internet, the insecurity of the underlying border gateway routing protocol (BGP) stands out as the Achilles h...
POPL
1990
ACM
13 years 9 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...