Publication | Closed Access

Automated verification of security pattern compositions

EngineeringInformation SecurityVerificationSecurity Pattern CompositionsFormal MethodsSoftware AnalysisSecure By DesignSecurity TestingComputer ScienceFormal VerificationLanguage-based SecurityData Security