1825 search results - page 77 / 365 » Cryptographic Securities Exchanges |
138
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
144
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
135
Voted
CARDIS
2006
Springer
15 years 7 months ago
2006
Springer
On-line casinos have experienced a great expansion since the generalized use of Internet started. There exist in the literature several proposals of systems allowing secure remote ...
155
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...
134
Voted
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
ded abstract of this paper appears in Advances in Cryptology -- EUROCRYPT '08, Lecture Notes in Computer Science Vol. 4965, N. Smart ed., Springer-Verlag, 2008. This is the fu...