80 search results - page 15 / 16 » Validating Safety and Security Requirements for Partitioned ... |
WS
2004
ACM
14 years 10 days ago
2004
ACM
In this paper we present a man-in-the-middle attack on the Universal Mobile Telecommunication Standard (UMTS), one of the newly emerging 3G mobile technologies. The attack allows ...
IJIS
2002
13 years 6 months ago
2002
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
DAC
2009
ACM
14 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
XMLSEC
2003
ACM
14 years 4 days ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
ISCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Software cache-based side channel attacks are a serious new class of threats for computers. Unlike physical side channel attacks that mostly target embedded cryptographic devices,...