126 search results - page 2 / 26 » Definitional Trees |
103
click to vote
ACNS
2010
Springer
15 years 5 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security
124
Voted
JCSS
2008
15 years 1 months ago
2008
101
Voted
RFIDSEC
2010
14 years 11 months ago
2010
Authentication for low-cost Radio-Frequency IDentification (RFID) is a booming research topic. The challenge is to develop secure protocols using lightweight cryptography, yet ensu...
114
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
We introduce and give formal definitions of attack
118
Voted
CADE
1994
Springer
15 years 5 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...