His major research interests are network and wireless security, electronic voting security, secure software, cryptography, intrusion detection, computing forensics, and security protocols.


  • Security protocol verification is the foundation of Alec's research interests. He has published papers on formal methods, cryptographic authentication, group encryption, secure routing protocols, wireless security, intrusion detection, digital forensics, and on a variety of computing education topics.

Research Interests

  • Security Protocols
  • Wireless Security
  • Mobile Agents
  • Electronic Voting
  • Tamper-resistant Software
  • Intrusion Detection
  • Digital Forensics
  • Privacy
  • Cybertrust

He has thirty years’ experience in computer software, application development, mainframe operating systems, and network engineering, has published over seventy refereed workshop, conference, and journal papers on information security, and has participated as an investigator in proposals that have won over seven million dollars of competitive research funding.

Subject Areas

  • Critical Infrastructure, Cybersecurity, Information Security and Assurance
Management Information Systems, Information Science/Systems, Computer Science
PhD, University of Virginia, Computer Science, 1996
MS, Naval Postgraduate School, Computer Science, 1986
BS, Appalachian State University, Mathematics, 1979