1106 search results - page 54 / 222 » Automated Design of Security Protocols |
129
Voted
ICIS
2000
15 years 5 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...
113
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
158
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
111
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate unconditional security for message authentication protocols that are designed using two-channel cryptography. We look at both noninteractive message authentication ...
221
click to vote
AICT
2010
IEEE
14 years 7 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...