3115 search results - page 174 / 623 » Synthesizing Secure Protocols |
125
click to vote
JCM
2007
15 years 3 months ago
2007
— This paper investigates the impact of security on the performance of WLAN. More specifically, it analyzes the impact of different implementations of encryption techniques used ...
149
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
132
click to vote
ENTCS
2007
15 years 3 months ago
2007
The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of ...
111
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
118
click to vote
ECIS
2000
15 years 5 months ago
2000
Online payments in business-to-consumer electronic commerce are mainly made with credit cards. Fraud and chargebacks are a significant issue for merchants and payment card brands, ...