Return to search

Logic programming based formal representations for authorization and security protocols

Thesis (Ph.D.) -- University of Western Sydney, 2008. / A thesis submitted for the degree of Doctor of Philosophy to the University of Western Sydney, College of Health and Science, School of Computing and Mathematics. Includes bibliography.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/271861330
Date January 2008
CreatorsWang, Shujing.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceView thesis

Page generated in 0.0015 seconds