7778 search results - page 1231 / 1556 » Designing Controllers for Reachability |
153
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
134
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
142
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...
125
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
112
click to vote
CISSE
2007
Springer
15 years 10 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...