Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

Analyzing a Library of Securit...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Analyzing a Library of Security Protocols using Casper and FDR

Analyzing a Library of Security Protocols using Casper and FDR

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Donovan, B, Norris, P, Lowe, G
Ձևաչափ:	Conference item
Հրապարակվել է:	1999

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

Web Services Security: a preliminary study using Casper and FDR
‌: Roscoe, A, և այլն
Հրապարակվել է: (2004)
Casper: A Compiler for the Analysis of Security Protocols
‌: Lowe, G
Հրապարակվել է: (1998)
Casper: A Compiler for the Analysis of Security Protocols
‌: Lowe, G
Հրապարակվել է: (1997)
Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
‌: Lowe, G
Հրապարակվել է: (1996)
Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
‌: Lowe, G
Հրապարակվել է: (1996)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs