Return to search

Formalization and verification of rewriting-based security polices

Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: Maude; term rewriting; access control. Includes bibliographical references (leaves 36-37).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/228066647
Date January 2008
CreatorsVeselinov, Roman Nikolov.
PublisherWorcester, Mass. : Worcester Polytechnic Institute,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLink to electronic thesis

Page generated in 0.0043 seconds