Chris Johnson. Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems. ECEASST, 45, 2011. [doi]
@article{Johnson11-7,
title = {Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems},
author = {Chris Johnson},
year = {2011},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/679},
researchr = {https://researchr.org/publication/Johnson11-7},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {45},
}