Abstract
The UK-Norway initiative [1] is a joint project to investigate the technologies available for monitoring future arms control agreements. This paper describes one way in which formal methods can assist in the verification of software that is used for such a purpose.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
The United Kingdom Norway Initiative: Research into the verification of nuclear warhead dismantlement. Working paper to the Non-Proliferation Treaty Review Conference, NPT/CONF2010/WP.41 (May 2010)
MacArthur, D.W., Wolford Jr., J.K.: Information barriers and authentication. In: INMM 42nd Annual Meeting, Indian Wells, CA, USA, July 15-19 (2001)
Barnes, J.: High integrity software - The SPARK approach to safety and security. Pearson Education (2003)
Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, W.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering (March 2006)
Webb, J.T.: MALPAS, an automatic static analysis tool for software validation and verification. In: 1st International Conference on Reliability and Robustness of Engineering Software. Elsevier (1987)
Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT Modulo Theories: From an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T). Journal of the ACM 53(6) (2006)
Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171–177. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Evans, N. (2015). Software Development and Authentication for Arms Control Information Barriers. In: Bjørner, N., de Boer, F. (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science(), vol 9109. Springer, Cham. https://doi.org/10.1007/978-3-319-19249-9_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-19249-9_37
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19248-2
Online ISBN: 978-3-319-19249-9
eBook Packages: Computer ScienceComputer Science (R0)