3115 search results - page 347 / 623 » Synthesizing Secure Protocols |
162
click to vote
COMCOM
2007
15 years 6 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
210
click to vote
JUCS
2008
15 years 6 months ago
2008
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...
247
click to vote
TCOS
2010
15 years 1 months ago
2010
Password Authenticated Key Exchange (PAKE) is one of the important topics in cryptography. It aims to address a practical security problem: how to establish secure communication be...
170
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
164
click to vote
DRM
2004
Springer
16 years 22 hour ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...