Conference NOTE ON THE DENIAL-OF-SERVICE PROBLEM. 1983 • Proceedings of the Symposium on Security and Privacy • 139-149 Gligor VD
Journal Article THE VERIFICATION OF THE PROTECTION MECHANISMS OF HIGH-LEVEL LANGUAGE MACHINES 1983 • International Journal of Parallel Programming • 12(4):211-246 GLIGOR VD
Journal Article Finding Augmented-Set Bases 1982 • SIAM journal on computing (Print) • 11(3):602-609 Gligor V, Maier D
Journal Article ON DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS 1980 • IEEE Transactions on Software Engineering • 6(5):435-440 GLIGOR VD, SHATTUCK SH
Conference Architectural implications of abstract data type implementation 1979 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 20-30 Gligor VD
Journal Article OBJECT MIGRATION AND AUTHENTICATION 1979 • IEEE Transactions on Software Engineering • 5(6):607-611 GLIGOR VD, LINDSAY BG
Journal Article REVIEW AND REVOCATION OF ACCESS PRIVILEGES DISTRIBUTED THROUGH CAPABILITIES 1979 • IEEE Transactions on Software Engineering • 5(6):575-586 GLIGOR VD
Journal Article REPRESENTING DATA BASES IN SEGMENTED NAME SPACES. 1978 • Proceedings of The Western Snow Conference • 295-317 Gligor V, Maier D
Conference The VERUS™ Design Verification System • IEEE Security and Privacy • 150-150 Marick B, Gligor VD
