Authentication and Confidentiality via IPSEC

Security Goals: Packet Trajectories and Strand Spaces

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures

Firmato: A novel firewall management toolkit

ACM Transactions on Computer Systems (TOCS)

Verifying information flow goals in security-enhanced Linux

Journal of Computer Security - Special issue on WITS'03

Automatic analysis of firewall and network intrusion detection system configurations

Journal of Computer Security - Formal Methods in Security Engineering Workshop (FMSE 04)

Completeness of discovery protocols

Proceedings of the 2nd ACM workshop on Assurable and usable security configuration

A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies

Electronic Notes in Theoretical Computer Science (ENTCS)

Experiences with host-to-host IPsec

Proceedings of the 13th international conference on Security protocols