659 search results - page 96 / 132 » Compiling and securing cryptographic protocols |
110
click to vote
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Recently, operators of public transportation in many countries started to roll out electronic tickets (e-tickets). E-tickets offer several advantages to transit enterpris...
102
click to vote
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
Recently, two major bankcard payment instrument operators VISA and MasterCard published speci cations for securing bankcard payment transactions on open networks for open scrutiny...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
122
click to vote
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
143
click to vote
JOC
2011
14 years 9 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...