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.
Author supplied keywords
Cite
CITATION STYLE
APA
Evans, N. (2015). Software development and authentication for arms control information barriers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9109, pp. 581–584). Springer Verlag. https://doi.org/10.1007/978-3-319-19249-9_37
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free