Candidate security solutions for TTEthernet

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2013, Pages

  Steiner, Wilfried ^a  

^a TTTech North America   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; DIGITAL AVIONICS;

COMMUNICATION BUS; COMMUNICATION PLATFORMS; DENIAL OF SERVICE ATTACKS; INTEGRATED MODULAR AVIONICS; MIXED-CRITICALITY SYSTEMS; RESOURCE EFFICIENCIES; SAFETY CRITICALITY; SECURITY SOLUTIONS;

CRITICALITY (NUCLEAR FISSION);

EID: 84894473014     PISSN: 21557195     EISSN: 21557209     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2013.6712579     Document Type: Conference Paper

References (13)

1. Steiner, W., 2008, TTEthernet Specification. TTA Group. Available at http://www.ttagroup.org.
2. Steiner, W., G. Bauer, B. Hall, and M. Paulitsch. TTEthernet: Time-Triggered Ethernet. In Obermaisser, R. (Ed.), Time-Triggered Communication. CRC Press, 2011.
3. ARINC Report 664P7-1, 2009, Aircraft Data Network, Part 7: Avionics Full Duplex Switched Ethernet (AFDX) Network.
4. Altunbasak, H., S. Krasser, H. Owen, J. Grimminger, H.P. Huth, and J. Sokol, 2005, Securing Layer 2 in Local Area Networks. Networking-ICN 2005, pp. 699-706.
5. IEEE Standard for Local and Metropolitan Area Networks-Media Access Control (MAC) Security. IEEE Std 802.1AE-2006.
6. Mizrahi, T., 2011, Time synchronization security using IPsec and MACsec. In Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2011 International IEEE Symposium on, pp. 38-43. IEEE.
7. Kent, S. and K. Seo. Security Architecture for the Internet Protocol 2005, 2008.
8. Treytl, A. and B. Hirschler, 2010, Securing IEEE 1588 by IPsec Tunnels-an Analysis. In Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on, pp. 83-90. IEEE.
9. Wasicek, A. Security in Time-Triggered Systems. PhD thesis, Ph. D. thesis, Vienna University of Technology, 2012.
10. Skopik, F., A. Treytl, A. Geven, B. Hirschler, T. Bleier, A. Eckel, C. El-Salloum, and A. Wasicek, 2012, Towards Secure Time-Triggered Systems. Computer Safety, Reliability, and Security, pp. 365-372.
11. IEEE Standard for Local and metropolitan area networks Port-Based Network Access Control. IEEE Std 802.1X2010 (Revision of IEEE Std 802.1X-2004).
12. Steiner, W. and B. Dutertre, 2011, Automated Formal Verification of the Ttethernet Synchronization Quality. In NASA Formal Methods, pp. 375-390.
13. STREP, FP7, EU, 2012, D-MILS, Distributed MILS for Dependable Information and Communication Infrastructures. Available at http://www.d-mils.org.