27 search results - page 3 / 6 » Verifying Information Flow Control over Unbounded Processes |
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a new model for extracting large-field optical flow patterns to generate distributed representations of neural activation to control complex visual tasks such ...
ACSD
2008
IEEE
14 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
TISSEC
2010
13 years 1 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
MOBIHOC
2006
ACM
14 years 6 months ago
2006
ACM
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
SIGCOMM
2000
ACM
13 years 10 months ago
2000
ACM
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...