461 search results - page 49 / 93 » Developing security protocols by refinement |
ICIS
2000
13 years 9 months ago
2000
Enhancing e-commerce security through computing technology alone is not sufficient. E-commerce designers should apply economic mechanisms to design proper digital processes that a...
SASN
2003
ACM
14 years 1 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
PADL
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
MAM
2007
2007
A distributed admission control system for MANET environments supporting multipath routing protocols
13 years 7 months ago
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
ACIIDS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Wireless sensor networks(WSNs) have been regarded as an incarnation of Ad Hoc Networks for a specific application. Since a WSN consists of potentially hundreds of low c...