Abstract
Security is becoming increasingly important and formal methods offer powerful techniques for ensuring it. There are three important components in security: Confidentiality, meaning that private data is not made public data; Integrity, meaning that trusted data is not influenced by dubious data; Availability, meaning that data is not inaccessible when needed. In this chapter we show how formal methods can be used to ensure that programs preserve confidentiality and integrity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Nielson, F., Riis Nielson, H. (2019). Language-Based Security. In: Formal Methods. Springer, Cham. https://doi.org/10.1007/978-3-030-05156-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-05156-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-05155-6
Online ISBN: 978-3-030-05156-3
eBook Packages: Computer ScienceComputer Science (R0)