Showing
1 - 1
results of
1
Skip to content
VuFind
Book Bag:
0
items
(Full)
Login
Language
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
Монгол
Māori
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search Results - protocol modeling and verification
Search Results - protocol modeling and verification
Suggested Topics within your search.
Suggested Topics within your search.
Computer network protocols
1
Computer networks
1
Computer security
1
Computer software
1
Mathematical models
1
Security measures
1
Verification
1
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
The modelling and analysis of security protocols the CSP approach
by
Ryan, Peter
Published 2001
Subjects:
“…Computer software
Verification
…”
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Book
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Format
Book
1 results
1
Call Number
Q - Science
1 results
1
Author
Ryan, Peter
1 results
1
Schneider, Steven
1 results
1
Year of Publication
From:
To: