DRR17

@inproceedings{DRR17,
author    = {Dureja, Rohit and Rozier, Eric W. D.  and Rozier, Kristin Y. },
title     = {A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks},
booktitle = {Proceedings of AIAA Aviation Technology, Integration, and Operations Conference (AVIATION)},
publisher = {{AIAA}},
address   = {Denver, Colorado, USA},
month     = {June},
year      = {2017},
abstract  = {This case study analyzes a hybrid wired and wireless aircraft communication network with attention to safety, security, and availability. Formal modeling and model checking are used to study privacy-preserving communication, fault tolerance, and tradeoffs between bandwidth and resilience.},
url       = {https://arc.aiaa.org/doi/10.2514/6.2017-3112},
preprint  = {../papers/DRR17.pdf},
slides    = {../papers/DRR17-slides.pdf}
}