- On the automatic analysis of recursive scecurity protocols with XOR
Opis
- Tytuł: On the automatic analysis of recursive scecurity protocols with XOR
- Tytuł publikacji grupowej: Lecture Notes in Computer Science ; vol. 4393
- Tytuł pracy zbiorowej: STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
- Twórca: Truderung, Tomasz ; Küsters, Ralf
- Strony: S. 646-657
- Opis: Zawiera streszczenie. ; Zawiera bibliografię.
- Język Abstraktu: eng
- Wydawca: Springer
- Miejsce wydania: Berlin
- Data wydania: 2007
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
