Journal Article A Fault-Tolerant Protocol for Atomic Broadcast 1990 • IEEE Transactions on Parallel and Distributed Systems • 1(3):271-285 Luan SW, Gligor VD
Journal Article A SPECIFICATION AND VERIFICATION METHOD FOR PREVENTING DENIAL OF SERVICE 1990 • IEEE Transactions on Software Engineering • 16(6):581-592 YU CF, GLIGOR VD
Conference Auditing the use of covert storage channels in secure systems 1990 • Proceedings of the Symposium on Security and Privacy • 285-295 Shieh SPW, Gligor VD
Conference Information-flow analysis for covert-channel identification in multilevel secure operating systems 1990 • Proceedings of the Computer Security Foundations Workshop • 139-148 He J, Gligor VD
Conference On replay detection in distributed systems 1990 • Distributed Computing Systems • 188-195 Luan SW, Gligor VD
Conference On the formal specification and verification of a multiparty session protocol 1990 • Proceedings of the Symposium on Security and Privacy • 216-233 Cheng PC, Gligor VD
Journal Article ON THE IDENTIFICATION OF COVERT STORAGE CHANNELS IN SECURE SYSTEMS 1990 • IEEE Transactions on Software Engineering • 16(6):569-580 TSAI CR, GLIGOR VD, CHANDERSEKARAN CS
Conference BANDWIDTH COMPUTATION MODEL FOR COVERT STORAGE CHANNELS AND ITS APPLICATIONS. 1988 • Proceedings of the Symposium on Security and Privacy • 108-121 Tsai CR, Gligor VD
Conference Fault-tolerant protocol for atomic broadcast 1988 • Proceedings - Symposium on Reliability in Distributed Software and Database Systems • 112-126 Luan SW, Gligor VD
Conference FORMAL SPECIFICATION AND VERIFICATION METHOD FOR THE PREVENTION OF DENIAL OF SERVICE. 1988 • Proceedings of the Symposium on Security and Privacy • 187-202 Yu CF, Gligor VD
Conference Model for secure distributed computations in a heterogeneous environment 1988 233-241 Cheng PC, Gligor VD
Journal Article A NEW SECURITY TESTING METHOD AND ITS APPLICATION TO THE SECURE XENIX KERNEL 1987 • IEEE Transactions on Software Engineering • 13(2):169-183 GLIGOR VD, CHANDERSEKARAN CS, JIANG WD, JOHRI A, LUCKENBAUGH GL, REICH LE
Conference COMPARATIVE ANALYSIS OF MULTIPROCESSOR SCHEDULING ALGORITHMS. 1987 • Distributed Computing Systems • 356-363 Lo SP, Gligor VD
Journal Article DESIGN AND IMPLEMENTATION OF SECURE XENIX 1987 • IEEE Transactions on Software Engineering • 13(2):208-221 GLIGOR VD, CHANDERSEKARAN CS, CHAPMAN RS, DOTTERER LJ, HECHT MS, JIANG WD, JOHRI A, LUCKENBAUGH GL, VASUDEVAN N
Conference FORMAL METHOD FOR THE IDENTIFICATION OF COVERT STORAGE CHANNELS IN SOURCE CODE. 1987 • IEEE Security and Privacy • 74-86 Tsai CR, Gligor VD, Chandersekaran CS
Conference PROPERTIES OF MULTIPROCESSOR SCHEDULING ALGORITHMS. 1987 • Proceedings of the International Conference on Parallel Processing • 867-870 Lo SP, Gligor VD
Conference NEW SECURITY TESTING METHOD AND ITS APPLICATION TO THE SECURE XENIX KERNEL. 1986 • Proceedings of the Symposium on Security and Privacy • 40-58 Gligor VD, Chandersekaran CS, Cheng W, Jiang WD, Johri A, Luckenbaugh GL, Reich LE
Conference On denial-of-service in computer networks 1986 • Proceedings - International Conference on Data Engineering • 2015-January:608-617 Gllgor VD
Conference ON THE DESIGN AND THE IMPLEMENTATION OF SECURE XENIX WORKSTATIONS. 1986 • Proceedings of the Symposium on Security and Privacy • 102-117 Gligor VD, Burch EL, Chandersekaran CS, Chapman RS, Dotterer LJ, Hecht MS, Jiang WD, Luckenbaugh GL, Vasudevan N
Journal Article Transaction management in distributed heterogeneous database management systems 1986 • Information Systems • 11(4):287-297 Gligor V, Popescu-Zeletin R
Conference CONCURRENCY CONTROL ISSUES IN DISTRIBUTED HETEROGENEOUS DATABASE MANAGEMENT SYSTEMS. 1985 43-56 Gligor VD, Popescu-Zeletin R
Journal Article A NOTE ON DENIAL-OF-SERVICE IN OPERATING-SYSTEMS 1984 • IEEE Transactions on Software Engineering • 10(3):320-324 GLIGOR VD
Journal Article INTERCONNECTING HETEROGENEOUS DATABASE-MANAGEMENT SYSTEMS 1984 • Computer • 17(1):33-43 GLIGOR VD, LUCKENBAUGH GL
Conference ASSESSMENT OF THE REAL-TIME REQUIREMENTS FOR PROGRAMMING ENVIRONMENTS AND LANGUAGES. 1983 3-19 Gligor VD, Luckenbaugh GL
Journal Article DISTRIBUTED DATABASE-MANAGEMENT SYSTEMS - AN ARCHITECTURAL PERSPECTIVE 1983 • JOURNAL OF TELECOMMUNICATION NETWORKS • 2(3):249-270 GLIGOR VD, FONG E
