Secure Protocols and Systems Laboratory

The laboratory housed in 550A PGH Building has 4 Dell
workstations and a Dell server with virtual machine emulation software to
emulate Windows and Unix/Linux operating systems. The workstations are equipped with software
for conducting experiments in secure protocols and systems.

Department of Computer Science of UH
University of Houston

IEEE Xplore from UH Library 
National Information Assurance Training and Education Center (NIATEC)
Automated Validation of Interner Security Protocols and Applications (AVISPA)