741 search results - page 28 / 149 » Verification of security protocols using LOTOS-method and ap... |
117
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
147
click to vote
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
138
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
162
click to vote
IACR
2011
14 years 3 months ago
2011
Sorting is among the most fundamental and well-studied problems within computer science and a core step of many algorithms. In this article, we consider the problem of constructing...
127
click to vote
CANS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Solutions for an easy and secure setup of a wireless connection between two devices are urgently needed for WLAN, Wireless USB, Bluetooth and similar standards for short ...