Items where Author is "Nicol, David M."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Dong, Xinshu and Jauhar, Sumeet and Temple, William G. and Chen, Binbin and Kalbarczyk, Zbigniew and Sanders, William H. and Tippenhauer, Nils Ole and Nicol, David M.
(2016) The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment.
In: Proceedings of Workshop on Graphical Models for Security (GraMSec).

Tippenhauer, Nils Ole and Temple, William G. and Vu, An Hoa and Chen, Binbin and Nicol, David M. and Kalbarczyk, Zbigniew and Sanders, William
(2014) Automatic Generation of Security Argument Graphs.
In: Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC).

Vu, An Hoa and Tippenhauer, Nils Ole and Chen, Binbin and Nicol, David M. and Kalbarczyk, Zbigniew
(2014) CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems.
In: Proceedings of the Conference on Quantitative Evaluation of SysTems (QEST).

Chen, Binbin and Kalbarczyk, Zbigniew and Nicol, David M. and Sanders, William H. and Tan, Rui and Temple, William G. and Tippenhauer, Nils Ole and Vu, An Hoa and Yau, David K.Y.
(2013) Go with the Flow: Toward Workflow-Oriented Security Assessment.
In: Proceedings of New Security Paradigm Workshop (NSPW).

This list was generated on Thu Jul 18 14:20:53 2019 CEST.