741 search results - page 26 / 149 » Verification of security protocols using LOTOS-method and ap... |
158
click to vote
CRYPTO
2010
Springer
15 years 5 months ago
2010
Springer
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
127
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
124
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
129
click to vote
COMCOM
2000
15 years 3 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
153
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...