2010
10 references published this year.
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
A survey of challenges in attribution
W. Earl Boebert (2010) · Proceedings of a workshop on Deterring CyberAttacks
Hybrid Logic and its Proof-Theory
Torben Braüner (2010)
Undecidability of propositional separation logic and its neighbours
James Brotherston et al. (2010) · 25th IEEE Symposium on Logic in Computer Science (LICS)
The cyber kill chain: A foundation for a new cyber security strategy
Charles Croom (2010) · High Frontier
Tableaux and resource graphs for separation logic
Didier Galmiche et al. (2010) · Journal of Logic and Computation
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010)
Really rethinking `formal methods'
David Lorge Parnas (2010) · Computer
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard et al. (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Formal verification of demand paging
Artem Starostin (2010)