From What to How: A Taxonomy of Formalized Security Properties

Imen Sayar, Nan Messe, Sophie Ebersold +1

Confidentiality, integrity, availability, authenticity, authorization, and accountability are known as security properties that secure systems should preserve. They are usually con…