126 search results - page 2 / 26 » Definitional Trees |
ACNS
2010
Springer
13 years 8 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security
JCSS
2008
13 years 5 months ago
2008
RFIDSEC
2010
13 years 3 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...
IFIP
2010
Springer
13 years 2 days ago
2010
Springer
We introduce and give formal definitions of attack
CADE
1994
Springer
13 years 9 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 ...