Formal Analysis of Graphical Security Models

Zaruhi Aslanyan

Research output: Book/ReportPh.D. thesis

726 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Analysis of Graphical Security Models'. Together they form a unique fingerprint.

Social Sciences

Engineering

Computer Science