- On the automatic analysis of recursive scecurity protocols with XOR
Description
- Title: On the automatic analysis of recursive scecurity protocols with XOR
- Group publication title: Lecture Notes in Computer Science ; vol. 4393
- Collective work title: STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
- Creator: Truderung, Tomasz ; Küsters, Ralf
- Pages: S. 646-657
- Description: Zawiera streszczenie. ; Zawiera bibliografię.
- Language of abstract: eng
- Publisher: Springer
- Place of publishing: Berlin
- Date issued: 2007
- Type: Tekst
- Language: eng
- Detailed object type: rozdz
- Object type: Rozdział