Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer Veselinov, Roman Nikolov

Formalization and Verification of Rewriting-Based Security Polices

Stichwort:

Access Control, Maude, and term rewriting

Schöpfer:

Veselinov, Roman Nikolov

Advisor:

Dougherty, Daniel J.

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2008-04-30

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science