609 search results - page 33 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
JOC
2007
13 years 9 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
EUC
2006
Springer
14 years 22 days ago
2006
Springer
RFID(Radio Frequency Identification) is recently becoming popular, promising and widespread. In contrast, RFID tags can bring about traceability that causes user privacy and reduce...