Search Results - "Spring, Jonathan M."

Journal of Cybersecurity Special Collection: Philosophy of information security.

Authors: Pym, David J Spring, Jonathan M

Source: Journal of Cybersecurity; 2025, Vol. 11 Issue 1, p1-4, 4p

Building General Knowledge of Mechanisms in Information Security.

Authors: Spring, Jonathan M. Illari, Phyllis

Source: Philosophy & Technology. Dec2019, Vol. 32 Issue 4, p627-659. 33p.

Subject Terms: *Computer networks, *Computer security, Information technology security, Botnets, Cyberterrorism, Philosophy of science

Why Separation Logic Works.

Authors: Pym, David Spring, Jonathan M. O'Hearn, Peter

Source: Philosophy & Technology. Sep2019, Vol. 32 Issue 3, p483-516. 34p.

Subject Terms: *Computer software, Computer logic, Software engineering, Nonrenewable natural resources, Logic, Proof theory

On Malfunction, Mechanisms and Malware Classification.

Authors: Primiero, Giuseppe Solheim, Frida J. Spring, Jonathan M.

Source: Philosophy & Technology; Jun2019, Vol. 32 Issue 2, p339-362, 24p

An analysis of how many undiscovered vulnerabilities remain in information systems.

Authors: Spring, Jonathan M.¹ (AUTHOR) spring@cmu.edu

Source: Computers & Security. Aug2023, Vol. 131, pN.PAG-N.PAG. 1p.

Large Scale DNS Traffic Analysis of Malicious Internet Activity with a Focus on Evaluating the Response Time of Blocking Phishing Sites

Authors: Spring, Jonathan M.

URL: http://d-scholarship.pitt.edu/7721/1/JMSpring_PittThesis2010.pdf