67 search results - page 10 / 14 » Toward a Mathematical Foundation for Information Flow Securi... |
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
SACMAT
2011
ACM
12 years 10 months ago
2011
ACM
Information leakage via the networks formed by subjects (e.g., Facebook, Twitter) and objects (e.g., blogosphere) − some of whom may be controlled by malicious insiders − ofte...
WISEC
2009
ACM
14 years 2 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
ICNS
2007
IEEE
14 years 1 months ago
2007
IEEE
To build holistic protection against complex and blended network threats, multiple security features need to be integrated into a unified security architecture, which requires in ...
ACSAC
2000
IEEE
13 years 11 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...