741 search results - page 72 / 149 » Abstract Machines for Communication Security |
PERVASIVE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
SCN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
ICCCN
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper analyzes both the strong points and weak points of OSPF routing protocol from security perspective. On its strong points, we abstract its features of information least ...
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...