1825 search results - page 217 / 365 » Cryptographic Securities Exchanges |
152
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
166
click to vote
CSFW
1995
IEEE
15 years 8 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
128
click to vote
AAAI
2010
15 years 5 months ago
2010
Collusion is a major unsolved security problem in online bridge: by illicitly exchanging card information over the telephone, instant messenger or the like, cheaters can gain huge...
LREC
2010
15 years 5 months ago
2010
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...
200
click to vote
GIL
2011
14 years 4 months ago
2011
: The efficient distribution of fresh produce poses many challenges to enterprises in the fruit and vegetable sector. The exchange of product- and processrelated information betwee...