741 search results - page 92 / 149 » Verification of security protocols using LOTOS-method and ap... |
137
Voted
SPW
2000
Springer
15 years 7 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
126
Voted
IDTRUST
2009
ACM
15 years 10 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
140
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
167
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
165
click to vote
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...