A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Security and Privacy of Protocols and Software with Formal Methods
[chapter]
2016
Lecture Notes in Computer Science
The protection of users' data conforming to best practice and legislation is one of the main challenges in computer science. Very often, large-scale data leaks remind us that the state of the art in data privacy and anonymity is severely lacking. The complexity of modern systems make it impossible for software architect to create secure software that correctly implements privacy policies without the help of automated tools. The academic community needs to invest more effort in the formal
doi:10.1007/978-3-319-47166-2_61
fatcat:ygef2jw6dneabg7dgdskc26pz4