Universally composable firewall architectures using trusted hardware

DOI10.1007/978-3-319-21356-9_5MaRDI QIDQ2947101zbMATH OpenOpenAlexFDO

Authors Dirk Achenbach, Joern Mueller-Quade, Jochen Rill

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

firewallsformal modelsnetwork securityuniversal composability

Mathematics Subject Classification ID

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

Recommendations

• Synchronous universally composable computer networks
• Reverse firewalls for actively secure MPCs
• Message transmission with reverse firewalls -- secure communication on corrupted machines
• Cryptographic reverse firewalls
• scientific article; zbMATH DE number 1222154

Cites work

• Constructive cryptography -- a new paradigm for security definitions and proofs
• GNUC: a new universal composability framework
• One-Time Programs
• The Byzantine Generals Problem
• Theory of Cryptography
• Universally Composable Multi-party Computation Using Tamper-Proof Hardware
• Universally composable synchronous computation

This page was built for publication: Universally composable firewall architectures using trusted hardware

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2947101)