Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
暂无分享,去创建一个
[1] Rob J. van Glabbeek,et al. Modelling and verifying the AODV routing protocol , 2015, Distributed Computing.
[2] Falko Dressler,et al. Vehicular Networking , 2014 .
[3] Morris J. Dworkin,et al. SP 800-38D. Recommendation for Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC , 2007 .
[4] Timothy Bourke,et al. A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol , 2014, ATVA.
[5] Timothy Bourke,et al. Mechanizing a Process Algebra for Network Protocols , 2015, Journal of Automated Reasoning.
[6] Lawrence Charles Paulson,et al. Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .
[7] M. Bellare,et al. HMAC: Keyed-Hashing for Message Authentication, RFC 2104 , 2000 .
[8] Annabelle McIver,et al. A Process Algebra for Wireless Mesh Networks , 2012, ESOP.
[9] Changmin Shin. A framework for fragmenting/reconstituting data frame in Controller Area Network (CAN) , 2014, 16th International Conference on Advanced Communication Technology.