80 search results - page 4 / 16 » Validating Safety and Security Requirements for Partitioned ... |
CCS
2008
ACM
13 years 9 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
PERCOM
2006
ACM
13 years 7 months ago
2006
ACM
Pervasive computing's historical driver applications include environmental monitoring, safety and security, home and office productivity and guided experience of cultural act...
LCN
2007
IEEE
14 years 1 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...