Composition and integrity preservation of secure reactive systems
| Title: | Composition and integrity preservation of secure reactive systems |
|---|---|
| Authors: | Pfitzmann, Birgit; Waidner, Michael |
| Source: | Proceedings of the 7th ACM conference on Computer and Communications Security. :245-254 |
| Availability: | http://dl.acm.org/doi/10.1145/352600.352639 |
| Database: | ACM Full-Text Collection |