Towards Confidentiality-by-Construction

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_30 ◽

2018 ◽

pp. 502-515 ◽

Author(s):

Ina Schaefer ◽

Tobias Runge ◽

Alexander Knüppel ◽

Loek Cleophas ◽

Derrick Kourie ◽

...

Download Full-text