Formal Specification and Verification of Security Guidelines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zeineb Zhioua, Yves Roudier, Rabea Boulifa Ameur. Formal Specification and Verification of Security Guidelines. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 267-273, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Zeineb Zhioua' in GoogleThis author has not been identified. Look up 'Yves Roudier' in GoogleThis author has not been identified. Look up 'Rabea Boulifa Ameur' in Google

runs on WebDSL