DMCA

A General Composition Theorem for Secure Reactive Systems (2004)

by Michael Backes , Birgit Pfitzmann , Michael Waidner
Venue:In TCC 2004
Citations:75 - 8 self