Aircraft to Anything AdHoc Broadcasts and Session HTT Consulting
Oak Park MI 48237 USA rgm@labs.htt-consult.com
AX Enterprize
4947 Commercial Drive Yorkville NY 13495 USA stu.card@axenterprize.com
Linköping University
IDA Linköping 58183 Sweden gurtov@acm.org
Internet DRIP RFC Request for Comments I-D Internet-Draft DRIP Aircraft-to-anything (A2X) communications are often single broadcast messages that need to be signed with expensive (in cpu and payload size) asymmetric cryptography. There are also frequent cases of extended exchanges between two devices where a lower cost symmetric key protect flow can be used. This document shows both how to secure A2X broadcast messages with DRIP DET and Endorsement objects and to leverage these to create an AdHoc session key for just such a communication flow.
Introduction Aircraft-to-anything (A2X) communications are currently an open area to debate and research. There are questions as to whether air-to-ground or air-to-air will prevail as the driving force and thus the impetus for solutions. One real need is in air-to-air Detect And Avoid (DAA). There are current DAA approaches for general aviation over Automatic Dependent Surveillance–Broadcast (ADS-B); this is unlikely to scale to the needs of Unmanned Aircraft (UA). UA-to-UA and UA - to - General Aviation will drive a different solution. Although all aspects of this document is applicable to all aircraft, the language will be Uncrewed Aircraft (UA) slanted. This is to avoid any confusion within the body of the document about what type of aircraft is under discussion. A prevailing current approach is to leverage the Broadcast Remote ID (B-RID) messages, as they provide situational awareness in the Vector/Location ASTM messages . But this message is not adequate by itself for situational awareness as it does not identify the UA (other than the wireless media MAC address). Thus although it is possible for UAs act on a set of B-RID messages, this document will define specific messages that are directly actionable by listening UAs. The messages defined in this document are only possible by use of the DRIP Entity Tags (DET) and its underlying EdDSA25519 keypair. It also relies on DET endorsement hierarchy for trust in the DETs.
Terms and Definitions
Requirements Terminology The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 when, and only when, they appear in all capitals, as shown here.
|
Signifies concatenation of information (e.g., X | Y is the concatenation of X with Y).
Ltrunc (x, K)
Denotes the lowest order K bits of the input x.
Definitions
A2X
Communications from an aircraft to any other device. Be it another aircraft or some ground equipment.
cSHAKE customizable SHAKE function (cSHAKE) :
Extends the SHAKE scheme to allow users to customize their use of the SHAKE function.
KECCAK Message Authentication Code (KMAC) :
A Pseudo Random Function (PRF) and keyed hash function based on KECCAK.
Broadcast A2X messaging The basic view of Aircraft-to-Anything (A2X) communications is broadcast based. What is there within radio range of a UA? In most situations, the UA has no apriori knowledge of other systems around it. Thus the UA would just broadcast any information of general knowledge, like "Hello, I am me and I am here. Oh, and I am out of fuel and crashing." Thus the first concern is to be able to create a single, trusted message from the UA for all devices around it. The following sections detail the pieces of such a trusted message.
The Compressed DRIP HDA Endorsement of UA DET The DRIP HDA Endorsement of UA DET is a DRIP Link authentication message as defined in . It is the primary trust proof of UA DETs. This object is 136 bytes, but in the specific context where the UA DET has the same first 64 bits as the HDA DET (typical case), the 16 byte UA DET can be derived from the HDA DET and the UA HI, compressing the object to 120 bytes. 120-Byte Compressed HDA on UA Endorsement
Bytes Name Explanation
4 VNB Timestamp Current time at signing, set by HDA
4 VNA Timestamp Timestamp denoting recommended time to trust Endorsement, set by HDA
32 HI of UA Host Identity of UA
16 DET of HDA DRIP Entity Tag of HDA
64 Signature by HDA Signature over preceding fields using the keypair of the HDA DET
Full UA Signed Evidence of the A2X message The UA can now fully endorse a A2X message by signing it, along with the HDA endorsement of the UA (). A Message ID field is needed to distinguish all the multiple messages for this datagram. The message also needs a Until timestamp for a total of 189 bytes plus n bytes of the actual message: 189+n Byte Full UA Signed A2X message
Bytes Name Explanation
4 VNA Timestamp Timestamp denoting recommended time to trust Evidence
1 Message ID A2X Message ID Number
n A2X Message Actual A2X Message
120 HDA/UA Endorsement Compressed HDA on UA Endorsement
64 Signature by UA Signature over preceding fields using the keypair of the UA DET
Compressed UA Signed Evidence of the A2X message The UA also has the option to send a A2X message without the HDA Endorsement (). These shorter messages can be alternated with the full messages, based on an assumption that the other parties will receive the full endorsed message either prior or after this shorter message format. Or a block of these shorter messages could be sent based on other assumptions. This message is 85 bytes plus n bytes of the actual message, with the average overhead of the 2 messages (1:1 transmission) is 137 bytes: 85+n Byte Compressed UA Signed A2X message
Bytes Name Explanation
4 VNA Timestamp Timestamp denoting recommended time to trust Evidence
1 Message ID A2X Message ID Number
n A2X Message Actual A2X Message
16 DET of UA DRIP Entity Tag of UA
64 Signature by UA Signature over preceding fields using the keypair of the UA DET
IPv6 datagram for A2X message via SCHC All the pieces are present in these messages for a SCHC process to expand them to multicast addressed IPv6 datagrams. The destination IPv6 address would be ff02::1 (all nodes), the source address is the UA DET. The protocol would be UDP with the port numbers are still TBD and completely up to the receiving UA. Thus the A2X application would just be an IPv6 application and A2X could be this broadcast method or a datagram that actually was routed over an IPv6 network. There is no transmission cost to this, just the SCHC mechanism. It is completely up to the receiving UA and the sending UA needs not be concerned if this is how its messages are processed.
Using full Endorsement messaging to set up a A2A session A particular feature of the EdDSA25519 algorithm used for DETs is that EdDSA25519 keys can be converted to X25519 keys per Curve25519 for use in an ECDH key establishment. However, the X25519 keys are not enough for key establishment, nonces are needed to make each encounter have unique session keying. These nonces need to be at least 16 bytes each (from each party in the session). One use case for this is in DAA. There will probably be a number of messages between two UA during the DAA event. The DAA event would probably start when each party receives a Vector/Location message showing a potential encounter. If we use the ASTM F3411-22a Vector/Location message, less the timestamp information, along with a 16 byte nonce, we have the beginning of the additional information for this ECDH key establishment and use of the key in a authenticated session. 225-Byte Nonce enabled A2A message
Bytes Name Explanation
4 VNA Timestamp Timestamp denoting recommended time to trust Evidence
1 Message ID A2X Message ID Number
16 Nonce Random Session Nonce
20 Vector/Location Extracted from ASTM Vector/Location message
120 HDA/UA Endorsement Compressed HDA on UA Endorsement
64 Signature by UA Signature over preceding fields using the keypair of the UA DET
Such an authenticated session would look much like DTLS, needing a Connection ID to map in the systems to the symmetric connection keys and ending in a keyed-MAC. Note that authentication may be enough and encryption of the message content will rarely be of value. If specific data elements need confidentiality, they can be encrypted in place using AES-CFB. Carefully constructed, though still random, nonces can be used to construct a 1-byte Connection ID as follows. Each V/L message includes a 16 byte nonce that changes regularly, say once a second. In a 16 (or 32) nonce window, the first 4 bits of the nonce MUST be unique. Then the Connection ID can be: .
Session Key Derivation Each UA converts its EdDSA25519 private key to an X25519 private key. Likewise it converts the received EdDSA25519 key to an X25519 public key (e.g. ). These are then used for each UA to compute the X25519 derived shared secret. Here, KMAC from NIST SP 800-185 is used. This is a single pass using the underlying cSHAKE function. The function call is:
Session Key Derivation Function
A2A Secure Message Now a session message would be (33 bytes plus n bytes of the actual message): 31+n Byte A2A secure message
Bytes Name Explanation
16 Destination DET DRIP Entity Tag of the destination UA
1 Connection ID Source UA Connection ID
1 Sequence Number Source UA Sequence Number
1 Message ID A2X Message ID Number
n A2A Message Actual A2A Message
12 MAC by Source KMAC on message by Source UA
Author's Note: Probably should explicitly include the source DET (rather than a SCHC expansion rule) or at least make it explicit ver part of the SCHC expansion rules. This is to protect against cases where multiple UA connected to one destination UA and how to manage ConnectionID to avoid collisions in this 1-byte ID.
Selection of Nonced Messages Author's Note: This section needs the state machine clearly drawn out. Otherwise too hard to follow and implement correctly. In theory once one UA sends its Nonce Enabled A2A message and received a Nonce Enabled A2A message from a nearby UA, it can immediately set up and use the A2A secure messages in . In practice messages will not be received and one UA may operate on the basis that a secure session is possible when the other UA does not have the needed information for the secure session. This section will detail a procedure for UAs to follow to reach that point of common knowledge and thus transition to a secure session. The Connection ID shown in is unidirectional. It is part of a tuple (Source DET, Destination DET, Connection ID) that contains the operational state of the unidirectional secure messages (e.g. session key, sequence number). Each UA in the secure session link MUST have this tuple, but may have multiple such (at least two, one for each direction) and could be using one Connection ID and session for sending and another for receiving. the basis for the tuple for the secured messaging. A Connection ID MUST NOT have each 4-bit component the same; this would break the unidirectional feather of the secure connection. When a UA receives a Nonce Enabled A2A message, it MUST send its own and the contained nonce MUST NOT have the same first 4 bits as the one received. After sending its Nonce Enabled A2A message, it MAY immediately switch to a secure session mode. If a UA receives a secure session message (addressed to its DET), but does not have the security tuple for the contained Connection ID and thus the source DET, it MUST continue to use the Nonce Enabled A2A messages. A UA that receives a Nonce Enabled A2A message MUST work on the basis that the sending UA does not have similar from it. The UA MUST send a Nonce Enabled A2A message and switch to these two messages as This process MAY be repeated for 4 attempts. At which point it should be assumed something is interfering with message transmissions and act accordingly.
SCHC compression of DTLS datagram Author Note: the above datagram was produced from a full IPv6|DTLS message. The MACing is on this original message. The receiver needs to reverse the SCHC before authenticating the message, but this might be a DOS risk. TBD
A2X Messages Below are the initial defined messages for use in A2X. A2X Messages
ID Bytes Name Explanation
1 20 Location/Vector ASTM Location/Vector Message less timestamp fields
2 36 L/V and Nonce Msg 1 plus Nonce
Wireless Transport for A2X messaging Author's Note: Still need work on what wireless technologies are practical for this approach and even if it is appropriate to discuss actual wireless transport here. There are messages here that are too large for the ASTM Remote ID BT4 limit of 200 bytes, but may well fit into the practical limits of 250 bytes over BT5 and WiFi Beacons. It is even possible of a multi-RF approach, separating the large messages from the short ones. Author's Note: We define here a new ASTM Auth message content that is only sent over BT5 and WiFi Beacons. Author's Note: Using SCHC as an Ethertype we can position these messages to work over multiple wireless tech. Most noteably IEEE 802.11ah (HiLo) with 802.11bc (Enhanced Broadcast Service). Also 802.16 and 802.15.16t (Licensed Narrowband) addendum to 802.16. TBD
IANA Considerations TBD
Security Considerations Author's note: We need to have a discussion on the size of the MAC in the A2A () message. Currently a 12-byte MAC is specified. Considering this is an authentication MAC and the messages are timestamped, an 8-byte MAC should be adequate. But the discussion on this is needed and other examples of 8-byte authentication MACs provided. TBD
References Standard Specification for Remote ID and Tracking - F3411−22a ASTM International Ed25519 to Curve25519 Libsodium Documentation
Acknowledgments Adam Wiethuechter of AX Enterprize provided review and implementation insights.