CRI: The SecLab at UIC

该项目建立了安全实验室SecLab，为安全与加密研究提供了支持大规模计算需求的计算集群，为安全研究提供了异构实验室环境，为恶意软件实验提供了安全环境。基础设施支持既有研究也有新研究。该研究以密码学、形式化方法、复杂性理论、操作系统、网络、编程语言和编译器为基础，将强大的理论与编程语言和系统、算法和模型检查的实验研究相结合。这些项目旨在为计算机安全提供一套强有力的保护措施。为解决总统信息技术咨询委员会（PITAC）在题为《网络安全：优先级危机》的报告中提出的问题，安全实验室支持以下方面的实验研究：-高速加密技术，以保护互联网上的所有通信免受攻击者的修改；-密码分析，以增加对密码保护强度的理解；-授权模型，以防止恶意软件，黑客和内部人员；分布式身份验证以支持涉及多个组织的安全计算。更广泛的影响：更广泛的影响包括在广泛的领域提供急需的计算机安全研究；在人才短缺的地方进行教育和培训；开发课程和材料；生产和提供所需的软件，并提高在安全问题上向社区提供服务的能力。此外，帮助其他人复制一些课程和建立类似的实验室，发现与一般研究社区共享。

This project, establishing a security laboratory, called SecLab, provides a computing cluster for supporting large-scale computation needs in security and crypto research, a heterogeneous lab environment for security research, and a safe environment to experiment with hostile software. The infrastructure supports a mix of established and new research. Grounded in cryptography, formal methods, complexity theory, operating systems, networks, and programming languages and compilers, the research couples strong theory with experimental research in programming language and systems, algorithms, and model checking. The projects are aimed at providing a strong set of the well-grounded protections necessary for computer security. Addressing the issues raised by the President's Information Technology Advisory Committee (PITAC) in a report entitled Cyber Security: A Crisis in Prioritization, SecLab supports experimental research in:-High speed cryptography so that all communications over the Internet can be protected from modification by an attacker;-Cryptanalysis to increase understanding of the strength of cryptographic protections;-Authorization models to protect against hostile software, hackers, and insiders; and-Distributed authentication to support safe computing involving multiple organizations.Broader Impact: Broader impacts include providing much needed computer security research in a broad range of areas; educating and training students in an area where there is shortage; developing courses and materials; producing and making available needed software, and increasing the ability for outreach to the community on security issues. Additionally, helping others to replicate some courses and set up similar labs, findings are shared with the general research community.