741 search results - page 44 / 149 » Verification of security protocols using LOTOS-method and ap... |
157
Voted
FC
2003
Springer
15 years 9 months ago
2003
Springer
Combinatorial auctions have recently attracted the interest of many researchers due to their promising applications such as the spectrum auctions recently held by the FCC. In a com...
140
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
166
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Security infrastructures are increasingly used in the health care and welfare sector, particularly for providing security, like confidentiality, authenticity, integrity, nonrepudi...
135
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
138
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...