Publication | Closed Access
Composition and integrity preservation of secure reactive systems
285
Citations
21
References
2000
Year
Unknown Venue
EngineeringInformation SecurityVerificationCommunicationFormal VerificationSystems EngineeringSecure ComputingSecure ProtocolClaims CcsSecurity ManagementSecurity TestingSecure By DesignIntegrity PreservationComputer ScienceData SecurityInformation Security ManagementInformation AssuranceAlert PreferencesFormal MethodsSecuritySecurity Measurement
Article Free Access Share on Composition and integrity preservation of secure reactive systems Authors: Birgit Pfitzmann Universität des Saarlandes, Saarbrücken, Germany Universität des Saarlandes, Saarbrücken, GermanyView Profile , Michael Waidner IBM Research Division, Rüschlikon, Switzerland IBM Research Division, Rüschlikon, SwitzerlandView Profile Authors Info & Claims CCS '00: Proceedings of the 7th ACM conference on Computer and Communications SecurityNovember 2000 Pages 245–254https://doi.org/10.1145/352600.352639Online:01 November 2000Publication History 139citation678DownloadsMetricsTotal Citations139Total Downloads678Last 12 Months20Last 6 weeks7 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
| Year | Citations | |
|---|---|---|
Page 1
Page 1