526 search results - page 35 / 106 » A Z Based Approach to Verifying Security Protocols |
CCR
2005
13 years 7 months ago
2005
In this note, we propose a security mechanism for protecting IPv6 networks from possible abuses caused by the malicious usage of a multihoming protocol. In the presented approach,...
WISTP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The distribution of virtual goods like multimedia data relies on the trustworthiness of the distribution system. Recent concepts for the distribution based on peer to pee...
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
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...
GCC
2003
Springer
14 years 23 days ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
JCS
2002
13 years 7 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...