Virgil D. Gligor Explained

Virgil D. Gligor
Birth Date:30 July 1949
Birth Place:Zalău, Romania
Nationality:American
Field:Computer science
Work Institutions:University of Maryland
Carnegie Mellon University
Alma Mater:University of California at Berkeley
Prizes:1995 Doctor Honoris Causa, Politehnica University of Bucharest
2006 National Information Systems Security Award
2011 ACM SIGSAC Outstanding Innovation Award
2013 IEEE Technical Achievement Award
2019 Inductee in the National Cyber Security Hall of Fame
2020 Test of Time Award (with B. Parno and A. Perrig), IEEE Security and Privacy Symposium.

Virgil Dorin Gligor (born July 30, 1949) is a Romanian-American professor of electrical and computer engineering who specializes in the research of network security and applied cryptography.

Education and career

Gligor was born in Zalău and lived in Bucharest, Romania, until his late teens. He received his high school degree and baccalaureate at the Gheorghe Lazăr National College. After completing the first year as a student in the Faculty of Automatic Control and Computer Science at Politehnica University of Bucharest, he earned a national scholarship to study in the United States, where he received his B.Sc., M.Sc., and Ph.D. degrees from the University of California at Berkeley. While a graduate student he was a Lecturer in EECS at the University of California, Santa Barbara. Between 1976 and 2007 he taught at the University of Maryland, College Park, and since 2008 he has been a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University (CMU). Until 2015, he was also the co-director of CyLab, CMU’s security and privacy research institute.[1] He was a visiting professor at University of Cambridge, UK, ETH Zurich and EPF Lausanne in Switzerland, SMU in Singapore, and a long-time consultant to Burroughs and IBM corporations. He served on Microsoft’s Trusted Computing Academic Advisory Board and SAP’s Security Advisory Board. He has been an advisory board member of several security and privacy institutes including those of Johns Hopkins University and Pennsylvania State University in the US, CISPA Saarbrucken, Germany, and KTH Stockholm, Sweden.

Gligor co-chaired several conferences and symposia, including the ACM Computer and Communication Security, IEEE Security and Privacy, the Internet Society’s Network and Distributed Systems Security, the IEEE Dependable Computing for Critical Applications, and IEEE-ACM Symposium on Reliability in Distributed Software and Databases. He was an editorial-board member of Information Systems, Journal of Computer Security, ACM Transactions on Information System Security, IEEE Transactions on Computers, IEEE Transactions on Mobile Computing, and was the Editor in Chief of the IEEE Transactions on Dependable and Secure Computing.

Research

Gligor’s research in computer and network security spans over four decades. He began his career with work on the design of protection mechanisms of capability-based systems.[2] [3] In particular, he initiated the area of protection-mechanism verification of complex instruction set architectures[4] and processor security testing.[5] In the early 1980s, Gligor provided the first precise definition of the denial-of-service (DoS) problem in operating systems[6] and extended it to network protocols[7] thus helping establish availability as a first-class security concern. He and his students published all DoS research papers during the 1980s, including the Yu-Gligor model.[8] In the mid’ 80s he and Gary Luckenbaugh were the principal designers of the Secure Xenix,[9] [10] which was the first Unix-class commodity operating system to be evaluated at the B2 security level according to the NSA’s TCSEC.[11] He and his students co-designed the first automated tools for storage-channel analysis,[12] penetration analysis for C-language programs,[13] [14] pattern-oriented (i.e., signature-based) intrusion detection tool for Unix systems.[15]

During the 1990s, Gligor co-designed secure message authentication codes[16] for Kerberos v5 and inter-domain authentication[17] for OSF’s Distributed Computing Environment. His research also led to new formal models of access control, mainly for separation-of-duty and application-oriented policies.[18] He was the principal author of several security guidelines in NSA’s NCSC Rainbow Series for TCSEC, including those on security testing, trusted facility management, covert channel analysis, and trusted recovery.[19]

In early 2000s, his research focused on lightweight cryptographic schemes and protocols. He is a co-inventor of the first efficient authenticated-encryption scheme in one pass over the data[20] [21] and random-key pre-distribution in large sensor networks.[22] The later scheme, which was co-designed with his student L. Eschenauer, gave rise to a uniform random intersection graph, or simply a random key graph. Its k-connectivity and k-robustness are properties of interest in social networks, recommender systems, clustering and classification analysis, circuit design, cryptanalysis of hash functions, trusted and small-world networks, and epidemics modeling.[23] He also co-authored of the first distributed algorithms for detecting sensor-node replication attacks.[24]

In the 2010s, Gligor’s research was on trustworthy computer systems and the design of micro-hypervisors, trusted paths, I/O channel isolation,[25] trust establishment for networks of humans and computers,[26] and on protection against distributed denial of service on the Internet.[27] In 2019 he designed the first method for software root of trust establishment in a computer system that is unconditionally secure; i.e., without secrets, trusted hardware modules/tokens, or bounds on the adversary’s computation power.[28] Most recently, Gligor co-authored the first I/O separation model for formal verification of kernels implementations.[29] Over the years, Gligor’s research papers received several conference awards.

Notable Awards

In 1995, Gligor was awarded the Doctor Honoris Causa degree at Universitatea Politehnica.[30] In 2005, he received the 2006 National Information Systems Security Award jointly given by the United States National Security Agency (NSA) andNational Institute of Standards and Technology (NIST) for contributions to access control mechanisms, penetration analysis, denial-of-service protection, cryptographic protocols, and applied cryptography.[31] In 2011, he was awarded the ACM SIGSAC Outstanding Innovation Award for innovations insecure operating systems as well as covert channel analysis, intrusion detection, and secure wirelesssensor networks.[32] In 2013, he was given Technical Achievement Award by the IEEE Computer Society for his pioneering work and leadership in the area of computer and network security.[33] In 2019 he was inducted in the National Cybersecurity Hall of Fame,[34] [35] and in 2020, together with B.Parno and A. Perrig, he received a Test of Time Award from the IEEE Security an Privacy Symposium for their 2005 work on distributed detection of node replication attacks in sensor networks.[36]

External links

Notes and References

  1. Web site: Virgil Gligor Bio. Cylab. Carnegie Mellon University. 28 September 2013.
  2. Virgil D. Gligor. Review and Revocation of Access Privileges Distributed through Capabilities, IEEE Transactions on Software Engineering, SE-5 Vol. 6 (November 1979). IEEE Transactions on Software Engineering. November 1979. SE-5. 6. 575–586. 10.1109/TSE.1979.230193. Gligor. V. D.. 15951232.
  3. Virgil D. Gligor and Bruce G. Lindsay. Object Migration and Authentication, IEEE Transactions on Software Engineering, SE-5 Vol. 6, (November 1979). IEEE Transactions on Software Engineering . November 1979 . SE-5 . 6 . 607–611 . 10.1109/TSE.1979.230196 . Gligor . V. D. . Lindsay . B. G. . 12104353 .
  4. Virgil D. Gligor. The Verification of the Protection Mechanisms of High-Level Language Machines, International Journal of Computer and Information Sciences, Vol. 12, No. 4, (October 1983). 10.1007/BF00991620 . 28348311 .
  5. Web site: Virgil D. Gligor. Analysis of the Hardware Verification of the Honeywell SCOMP, Proc. of the IEEE Symposium on Security and Privacy, Oakland, California, April 1985 .
  6. Web site: Virgil D. Gligor. A Note on the Denial-of-Service Problem, Proc. of the IEEE Symposium on Computer Security and Privacy, Oakland, California, April 1983.
  7. Virgil D. Gligor. On Denial of Service in Computer Networks, Proc. of International Conference on Data Engineering, Los Angeles, California, February 1986, pp. 608-617. February 1986 . 608–617 . 10.1109/ICDE.1986.7266268 . 207929094 .
  8. Jonathan K. Millen, A Resource Allocation Model for Denial of Service, Proc.of the IEEE Symposium on security and Privacy, Oakland, CA, pp. 137 - 147, (April 1992). May 1992 . 137–147 . 10.1109/RISP.1992.213265 . 45827681 .
  9. Virgil D. Gligor, et al. Design and Implementation of Secure XENIX, IEEE Transactions on Software Engineering, SE-13 (2): 208-221, February1987. IEEE Transactions on Software Engineering . February 1987 . SE-13 . 2 . 208–221 . 10.1109/TSE.1987.232893 . Gligor . V. D. . Chandersekaran . C. S. . Chapman . R. S. . Dotterer . L. J. . Hetch . M. S. . Jiang . Wen-Der . Johri . A. . Luckenbaugh . G. L. . Vasudevan . N. . 15376270 .
  10. Virgil D. Gligor, et al. A New Security Testing Method and its Application to the Secure Xenix Kernel, IEEE Transactions on Software Engineering, SE-13 (2): 169 - 183, (February 1987). IEEE Transactions on Software Engineering . February 1987 . SE-13 . 2 . 169–183 . 10.1109/TSE.1987.232890 . Gligor . V. D. . Chandersekaran . C. S. . Jiang . Wen-Der . Johri . A. . Luckenbaugh . G. L. . Reich . L. E. . 519024 .
  11. Web site: Xenix-Section on Trusted Xenix.
  12. Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran. On the Identification of Covert Storage Channels in Secure Systems. IEEE Transactions on Software Engineering, SE-16 (6): 569-580, (June 1990). IEEE Transactions on Software Engineering. June 1990. 16. 6. 569–580. 10.1109/32.55086. Tsai. C.-R. Gligor. V. D.. Chandersekaran. C. S..
  13. Sarbari Gupta and Virgil D. Gligor. Towards a Theory of Penetration-Resistant Computer Systems, Journal of Computer Security, vol. 1, no. 2, pp. 133-158, (April 1992) (also in Proc. of 4th IEEE Computer Security Foundations Workshop, Franconia, New Hampshire, pp.62–78, (June 1991)).. Journal of Computer Security. January 1992. 1. 2. 133–158. 10.1109/CSFW.1991.151571. 33315521. Gupta. Sarbari. Gligor. Virgil D..
  14. Sarbari Gupta and Virgil D. Gligor. Experience with a Penetration Analysis Method and Tool, Proc. of 15th National Computer security Conference, Baltimore, MD, pp. 165-183 (October 1992).
  15. Shiuhpyng W. Shieh and Virgil D. Gligor. A Pattern-Oriented Intrusion-Detection Model and its Applications. 1991 IEEE Symposium on Security and Privacy: 327-342 (May 1991). May 1991. 327–342. 10.1109/RISP.1991.130800. 41801062.
  16. Stuart G. Stubblebine and Virgil D. Gligor. On Message Integrity in Cryptographic Protocols. Proc. of the 1992 IEEE Symposium on Research in Security and Privacy, Oakland, California, pp. 85 – 104 (May 1992) . May 1992 . 85–104 . 10.1109/RISP.1992.213268 . 5212905 .
  17. Virgil D. Gligor, Shy-Wei Luan, and Joseph N. Pato. Inter-realm Authentication in Large Distributed Systems. Proc. of the 1992 IEEE Symposium on Research in Security and Privacy, Oakland, California, pp. 2 - 17 (May 1992). May 1992. 2–17. 10.1109/RISP.1992.213274. 26406376.
  18. Virgil D. Gligor, Serban I. Gavrila and David Ferraiolo, On the Formal Definition of Separation-of-Duty Policies and their Composition. IEEE Symposium on Security and Privacy, Oakland, California, pp. 172-185 (May 1998) . May 1998 . 172–183 . 10.1109/SECPRI.1998.674833 . 9966261 .
  19. Web site: NSA, National Computer Security Center, Rainbow Series Books.
  20. Virgil D. Gligor and Pompiliu Donescu. Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes. Fast Software Encryption, M. Matsui (ed.), Lecture Notes in Computer Science 2355, Springer Verlag, April 2001, ISBN 3-540-43869-6 . 10.1007/3-540-45473-X_8 . free .
  21. Web site: Virgil D. Gligor and Pompiliu Donescu. Block encryption method and schemes for data confidentiality and integrity protection, US Patent No. 6973187, Priority Data: 60/179,147, 31 January, 2000..
  22. Laurent Eschenauer and Virgil D. Gligor. A Key-Management Scheme for Distributed Sensor Networks. Proc. of ACM Conference on Computer and Communication Security, Washington DC, pp. 41-47, (November 2002) . 10.1145/586110.586117 . 2086986 .
  23. On Connectivity and Robustness in Random Intersection Graphs . IEEE Transactions on Automatic Control . May 2017 . 62 . 5 . 2121–2136 . 10.1109/TAC.2016.2601564 . Zhao . Jun . Yağan . Osman . Gligor . Virgil . 16341712 . free . 1911.01822 .
  24. B. Parno, A. Perrig, V. Gligor. Distributed detection of node replication attacks in sensor networks. Proc. of IEEE Security and Privacy Symposium, pp. 49-63, (May 2005) . May 2005 . 49–63 . 10.1109/SP.2005.8 . 8370738 .
  25. Zongwei Zhou, Miao Yu and Virgil Gligor. Dancing with Giants: Wimpy Kernels for On-demand Isolated I/O. Proc. of IEEE Security and Privacy Symposium, vol. 13, no. 2, 2015, pp. 38-46 (May 2014) . May 2014 . 308–323 . 10.1109/SP.2014.27 . 219907 . free .
  26. Virgil D. Gligor and Jeannette Wing. Towards a Theory of Trust in Networks of Humans and Computers. Proc. of Security Protocols Workshop 2011, Cambridge, UK, LNCS 7114, Springer Verlag, pp. 223-242 (March 2011) . 10.1007/978-3-642-25867-1_22 . 677462 .
  27. Min Suk Kang, Soo Bum Lee and Virgil D. Gligor. The Crossfire Attack, in Proc. of IEEE Security and Privacy Symposium, pp. 127-141 (May 2013) . 10.1109/SP.2013.19 . 781992 . free .
  28. Web site: Virgil Gligor, and Maverick Woo. Establishing Software Root of Trust Unconditionally. Proc. of Network and Distributed System Security Symposium, San Diego, Ca, (February 2019) - Full Version.
  29. Miao Yu, Virgil Gligor and Limin Jia. An I/O Separation Model for Formal Verification of Kernel Implementations, Proc. of the IEEE Security and Privacy Symposium, pp. pp. 572-589, (May 2021). May 2021 . 572–589 . 10.1109/SP40001.2021.00101 . 237132794 .
  30. Web site: Doctor Honoris Causa, Universitatea Politehnica din Bucuresti, November 23, 1995.
  31. Web site: Gligor Wins National Security Award. November 14, 2005. James Clark School of Engineering. University of Maryland. 28 September 2013.
  32. Web site: ACM GROUP HONORS COMPUTER PRIVACY AND SECURITY EXPERTS.
  33. Web site: IEEE-CS Recognizes Five Technologists as Recipients of Technical Achievement Awards. 3 April 2013. Press Room. IEEE Computer Society. 28 September 2013. Los Alamitos, CA.
  34. Web site: Virgil Gligor inducted to the Cybersecurity Hall of Fame.
  35. Web site: Cybersecurity Hall of Fame.
  36. Web site: Five CMU Security and Privacy Papers Receive IEEE's Test of Time Award.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Virgil D. Gligor".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.