Inspec keywords: data protection; quality assurance; formal specification; security of data; contracts; cloud computing

Other keywords: DevOps framework; European General Data Protection Regulation; security level objectives; security controls; law enforcement authorities; privacy controls; evidence collection; service level agreement; service provision; security assurance; multicloud-based systems; GDPR compliance

Subjects: Data security; Formal methods; Internet software; Legal aspects of computing