Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Deducing Security Goals From Shape Analy...

Ramsdell, John D....

Free

Share this content

Deducing Security Goals From Shape Analysis Sentences by Ramsdell, John D. ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	27-07-2023
Summary	Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory. In his approach, a run of the Cryptographic Protocol Shapes Analyzer (CPSA) produces models that determine if a goal is satisfied. This paper presents a method for extracting a sentence that completely characterizes a run of CPSA. Logical deduction can then be used to determine if a goal is satisfied. This method has been implemented and is available to all.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1204.0480

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Ramsdell, John D.. Deducing Security Goals From Shape Analysis Sentences. Australian National University. July 27, 2023. Accessed September 20, 2024. https://online.provdatabase.com/cite/5384

APA 7th EditionReferences

Ramsdell, John D.. (2023). Deducing Security Goals From Shape Analysis Sentences. Australian National University. https://online.provdatabase.com/cite/5384

Chicago 17th EditionReferences

Ramsdell, John D.. Deducing Security Goals From Shape Analysis Sentences. Australian National University. 2023. https://online.provdatabase.com/cite/5384

HarvardReferences

Ramsdell, John D.. (2023). Deducing Security Goals From Shape Analysis Sentences. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/5384. (Accessed 20 September 2024).

Harvard AustraliaReferences

Ramsdell, John D., 2023, Deducing Security Goals From Shape Analysis Sentences, Australian National University, viewed 20 September 2024, <https://online.provdatabase.com/cite/5384>

MLA 9th EditionWorks Cited

Ramsdell, John D.. Deducing Security Goals From Shape Analysis Sentences. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/5384.

Share this eBook