219 search results - page 21 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
COLCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
LPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
ICISC
2009
13 years 6 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...