DR20a

@article{DR20a,
author    = {Dureja, Rohit and Rozier, Kristin Yvonne},
title     = {Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks},
journal   = {Journal of Aerospace Information Systems},
volume    = {17},
number    = {7},
pages     = {322-335},
year      = {2020},
doi       = {10.2514/1.I010769},
URL       = {https://doi.org/10.2514/1.I010769},
abstract  = {This paper develops a formal framework for analyzing safety, security, and availability in wireless aircraft communication networks. The framework supports model checking, fault analysis, and quantitative tradeoff studies between bandwidth, reliability, and privacy-preserving operation.},
preprint  = {../papers/DR20.pdf},
}