5722 search results - page 51 / 1145 » Security Function Interactions |
JCS
2002
13 years 8 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents the genesis of RoboX. This tour guide robot has been built from the scratch based on the experience of the Autonomous Systems Lab. The production of 11 of thos...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
