Simulation modeling for cyber resilience by Siegel, Michael, Goldsmith, Daniel

Get full text

Lost in cyberspace: Harnessing the Internet, international relations, and global security by Choucri, Nazli, Goldsmith, Daniel

Get full text
Get full text

Predicting combustion properties of hydrocarbon fuel mixtures by Goldsmith, Claude Franklin, III

Get full text

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M by Goldsmith, M, Whittaker, P

Assumption-commitment support for CSP model checking by Moffat, N, Goldsmith, M

What is intransitive noninterference? by Roscoe, A, Goldsmith, M

On properties of cyberattacks and their nuances by Happa, J, Goldsmith, M

The perfect ‘spy’ for model−checking cryptoprotocols by Roscoe, A, Goldsmith, M

Parallelization of FDR by Goldsmith, M, Martin, J

Assumption−Commitment Support for CSP Model Checking by Moffat, N, Goldsmith, M

Critical systems validation and verification with CSP and FDR by Goldsmith, M, Zakiuddin, I

PB-PKI: a privacy-aware blockchain-based PKI by Axon, L, Goldsmith, M

Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources by Rahman, S, Goldsmith, M, Creese, S

Transformation of occam programs by Goldsmith, M, Roscoe, A

Transforming occam programs by Roscoe, A, Goldsmith, M

Assumption–Commitment Support for CSP Model Checking by Moffat, N, Goldsmith, M

Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources by Rahman, S, Creese, S, Goldsmith, M

The perfect spy for model−checking crypto−protocols by Roscoe, A, Goldsmith, M

What is intransitive noninterference? by Roscoe, A, Goldsmith, M

Programming in occam 2 by Jones, G, Goldsmith, M