57 search results - page 7 / 12 » Controller certification |
136
Voted
IASTEDSE
2004
15 years 4 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...
123
Voted
JLP
2010
14 years 9 months 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...
111
click to vote
JHSN
2006
15 years 2 months ago
2006
With the growing interest in service-oriented architectures, achieving seamless interoperability between heterogeneous middleware technologies has become increasingly important. W...
100
Voted
CSE
2009
IEEE
15 years 6 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...
180
Voted
RTS
2010
14 years 9 months 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...