Universally Composable Firewall Architectures Using Trusted Hardware

DOI10.1007/978-3-319-21356-9_5zbMath1402.68054OpenAlexW2293593653MaRDI QIDQ2947101

Jörn Müller-Quade, Jochen Rill, Dirk Achenbach

Publication date: 21 September 2015

Published in: Cryptography and Information Security in the Balkans (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21356-9_5

zbMATH Keywords

network securityfirewallsformal modelsuniversal composability

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25) Internet topics (68M11)

Cites Work

• GNUC: a new universal composability framework
• Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
• One-Time Programs
• The Byzantine Generals Problem
• Universally Composable Synchronous Computation
• Universally Composable Multi-party Computation Using Tamper-Proof Hardware
• Theory of Cryptography

This page was built for publication: Universally Composable Firewall Architectures Using Trusted Hardware