Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks
dc.contributor.author | Dureja, Rohit | |
dc.contributor.author | Rozier, Kristin | |
dc.contributor.author | Rozier, Kristin Yvonne | |
dc.contributor.department | Aerospace Engineering | |
dc.contributor.department | Computer Science | |
dc.contributor.department | Electrical and Computer Engineering | |
dc.contributor.department | Mathematics | |
dc.date | 2020-06-02T22:24:46.000 | |
dc.date.accessioned | 2020-06-29T22:45:45Z | |
dc.date.available | 2020-06-29T22:45:45Z | |
dc.date.copyright | Wed Jan 01 00:00:00 UTC 2020 | |
dc.date.issued | 2020-05-26 | |
dc.description.abstract | <p>As the costs of fuel and maintenance increase and regulations on weight and environmental impact tighten, there is an increasing push to transition onboard aircraft networks to wireless, reducing weight, fuel, maintenance time, and pollution. A candidate short-range wireless network for aircraft onboard communications is outlined using the common ZigBee protocol and privacy-preserving search implemented as a secure publish/subscribe system using specially coded metadata. Formally specifying safety and security properties and modeling the network in New e(X)tensible Model Verifier enable verification and fault analysis via model checking and lay the groundwork for future certification avenues. Experiments formally analyzing the candidate wireless network are reported, showing overhead and availability for encrypted and fault-tolerant communications. A formal model is proposed, which allows system designers to estimate communication failure rates and directly trade off fault tolerance for bandwidth, while preserving communication security.</p> | |
dc.description.comments | <p>This is a manuscript of an article published as Dureja, Rohit, and Kristin Yvonne Rozier. "Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks." <em>Journal of Aerospace Information Systems</em> (2020). DOI: <a href="https://doi.org/10.2514/1.I010769" target="_blank">10.2514/1.I010769</a>. Posted with permission.</p> | |
dc.format.mimetype | application/pdf | |
dc.identifier | archive/lib.dr.iastate.edu/aere_pubs/166/ | |
dc.identifier.articleid | 1167 | |
dc.identifier.contextkey | 17955922 | |
dc.identifier.s3bucket | isulib-bepress-aws-west | |
dc.identifier.submissionpath | aere_pubs/166 | |
dc.identifier.uri | https://dr.lib.iastate.edu/handle/20.500.12876/2013 | |
dc.language.iso | en | |
dc.source.bitstream | archive/lib.dr.iastate.edu/aere_pubs/166/2020_RozierKristin_FormalFramework.pdf|||Fri Jan 14 21:03:03 UTC 2022 | |
dc.source.uri | 10.2514/1.I010769 | |
dc.subject.disciplines | Information Security | |
dc.subject.disciplines | Multi-Vehicle Systems and Air Traffic Control | |
dc.subject.disciplines | Systems and Communications | |
dc.title | Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks | |
dc.type | article | |
dc.type.genre | article | |
dspace.entity.type | Publication | |
relation.isAuthorOfPublication | 3c555e5b-8fd1-4c38-98c6-6a2449fab7cf | |
relation.isOrgUnitOfPublication | 047b23ca-7bd7-4194-b084-c4181d33d95d | |
relation.isOrgUnitOfPublication | f7be4eb9-d1d0-4081-859b-b15cee251456 | |
relation.isOrgUnitOfPublication | a75a044c-d11e-44cd-af4f-dab1d83339ff | |
relation.isOrgUnitOfPublication | 82295b2b-0f85-4929-9659-075c93e82c48 |
File
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 2020_RozierKristin_FormalFramework.pdf
- Size:
- 725.17 KB
- Format:
- Adobe Portable Document Format
- Description: