Biblio
Filters: Author is B. McMillin [Clear All Filters]
Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :136-139.
.
2017.
Cyber-Physical Security of a Chemical Plant. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :33-40.
.
2017.
Application of Congestion Notifications in a Cyber-Physical System. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). :165-174.
.
2017.
Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. Computer. 50:17-26.
.
2017.
Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 02:242-247.
.
2017.
Physical Attestation in the Smart Grid for Distributed State Verification. IEEE Transactions on Dependable and Secure Computing. PP:1-1.
.
2017.