1653 search results - page 52 / 331 » Timed analysis of security protocols |
ACISP
2010
Springer
13 years 9 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
ACSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, an...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
FC
2006
Springer
13 years 11 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...