57 search results - page 7 / 12 » Controller certification |
173
Voted
IASTEDSE
2004
15 years 7 months ago
2004
The existence of a central security authority is too restrictive for pervasive computing environments. Existing distributed security schemes fail in a pervasive computing environm...
156
Voted
JLP
2010
15 years 18 days ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
151
click to vote
JHSN
2006
15 years 5 months ago
2006
With the growing interest in service-oriented architectures, achieving seamless interoperability between heterogeneous middleware technologies has become increasingly important. W...
139
Voted
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Application scenarios for mobile ad-hoc networks (MANETs) impose a variety of non-standard security requirements. furthermore, in many scenarios owner and user of devices do not a...
224
click to vote
RTS
2010
15 years 17 days ago
2010
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...