It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Proposals for narrowing the gap between the formal methods and networking communities.
David Basin
Advertisement
Author Archives
The Research Value of Publishing Attacks
Security research can be improved by more effectively sharing what is learned from attacks on information systems.
Two Approaches to an Information Security Laboratory
Hands-on course work plays an important role in information security education. Through such course work, students can apply, deepen, and extend the conceptual knowledge taught in more theory-oriented lectures. Moreover, they can acquire experience with, and an understanding of, realistic systems, which is particularly important in Information Security. Hands-on experience shows how often a system’s […]
Using a server-side architecture to connect specialized enforcement mechanisms with usage control requirements and policies.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved