One embodiment of the present invention pertains to a secure, non-interactive method for communicating secured time. More particularly, one embodiment of the invention comprises a filtered time encryptor and a filtered time decryptor, which work in combination to provide secure and non-interactive communication of clock information over an unsecured communications channel. This communication provides perfect forward secrecy, while detecting and blocking message spoofing, message replay, denial of service and cryptographic performance attacks.
The Present application is related to a Pending Parent application U.S. Ser. No. 15/530,714, filed on 17 Feb. 2017. The Applicants hereby claim the benefit of priority for all subject matter which is commonly disclosed in the Present application and in U.S. Ser. No. 15/530,714.
The Applicants hereby incorporate by reference all the subject matter presented in U.S. Pat. No. 8,572,695 (U.S. Ser. No. 13/373,586), issued on 29 Oct. 2013; and in U.S. patent application Ser. No. 14/998,645, filed on 26 Jan. 2016.
None.
According to a paper by the Cyber Physical Systems Public Working Group entitled DRAFT Timing Framework for Cyber-Physical Systems, Technical Annex, Release 0.8 (September 2015), “every [computer] network element has a clock subsystem (often just called a ‘clock’).” This clock typically contains an oscillator that generates signals that are used to provide a sense of time that is used in that network element or system.
Time is represented as a continuing series of pulses having a fixed duration, and a fixed separation along the x-axis. The pulses have a constant frequency, meaning that there is a pre-defined and unvarying rate at which events, measured by this framework of time, may occur.
“Time” is a measurement of an interval between two events, or the duration of an event. The progression of time, as measured or determined by an electronic system, controls the implementation of instructions, activities or events.
If a network is penetrated by an unauthorized user, and the time clock within the network is somehow disturbed or altered, the entire network may be compromised or rendered inoperative.
As an example, an article by Pierluigi Paganini entitled Hacking NTP Servers from Long-Distance with Low Cost Devices (May 29, 2016) explains that an attacker may shift time on a network server by sending the server a forged radio time signal. Computer servers generally use the Network Time Protocol to administer their internal clock. A time signal from a satellite or a terrestrial radio station supplies a signal which is recognized as the correct time. If a hacker can send the network an incorrect time signal, the operation of the network may be impaired.
A Basic Analogy that Explains the Problem Confronted by the Prior Art
The analogy between the railroad example and the present invention concerns the determination of the perceived, observed or measured “correct” time at locations on a computer network which is protected and insulated from malicious actors who would seek to introduce time deviations and errors into the system.
The development of a system that would defend networks against “time hacking” would be a major technological advance, and would satisfy long-felt needs in the computer security industry by improving upon the security methods and apparatus currently employed in the communication of time.
One embodiment of the present invention is a Secure Time Communication System that defends computer networks against “time-hacking.” One embodiment of the invention provides secure and non-interactive communication of clock information over an unsecured communications channel. This communication provides perfect forward secrecy, while detecting and blocking message spoofing, message replay, denial of service and cryptographic performance attacks. This mechanism also bounds the effect of message delay manipulation. The mechanism consists of two components, a filtered time encryptor and a filtered time decryptor. The filtered time encryptor produces a message in two parts; a time token followed by an encrypted message body. The token is used in conjunction with a filter to detect most attacks and to determine the message key.
An alternate embodiment of the invention communicates authenticated time that provides perfect forward secrecy, while detecting and blocking message spoofing, message replay, denial of service and cryptographic performance attacks. This mechanism also bounds the effect of message delay manipulation. The mechanism includes two components, a filtered time message authentication code (MAC) generator and a filtered time authenticator. The filtered time MAC generator produces a message in three parts; a time token followed by message authentication code, followed by the original message. The token is used as a filter to detect most attacks and to determine the message key. An alternate embodiment of the filtered time MAC generator produces a message in three parts, the original message, followed by a time token and a message authentication code. The time token and message authentication code can be arranged in any order. In this alternate embodiment, with the original message being communicated first enables the retrofitting of existing time communications by placing the time token authentication information at the end of the communication.
The present invention protects the definition or determination of time measurement within an electronic system or network, and thwarts unauthorized use based on interference or tampering with that internal definition or determination of time.
The various embodiments of the present invention disclose a Secure Time Communications System that enable more secure and reliable communications over a network than would be possible using previous systems.
An appreciation of the other aims and objectives of the present invention, and a more complete and comprehensive understanding of this invention, may be obtained by studying the following descriptions of preferred embodiments, and by referring to the accompanying drawings.
One embodiment of the present invention pertains to a secure, non-interactive method for communicating secured time. More particularly, one embodiment of the invention comprises a filtered time encryptor and a filtered time decryptor, which work in combination to provide secure and non-interactive communication of clock information over an unsecured communications channel. This communication generally provides perfect forward secrecy, while detecting and blocking message spoofing, message replay, denial of service and cryptographic performance attacks.
An alternate embodiment of the present invention also pertains to a secure, non-interactive method for communicating secured time. More particularly, an alternate embodiment of the invention comprises a filtered time MAC generator and a filtered time authenticator, which work in combination to provide authenticated and non-interactive communication of clock information over an unsecured communications channel. This communication provides perfect forward secrecy, while detecting and blocking message spoofing, message replay, denial of service and cryptographic perfornce attacks.
The present invention preserves and/or defends the recognized value of time within an electronic device or network to prevent unauthorized tampering with or access to the device or network.
The various embodiments of the present invention are directed to specific improvements to the way computers and networks operate.
Tokens, which are strings of data, are generated by using a cryptographic hash of a synchronized clock and a token key that is pre-shared with the filtered time encryptor and the filtered time decryptor(s). A cryptographic hash function is a mathematical expression, which, takes an input, transforms it, and returns a fixed-size output. For example, using a cryptographic hash algorithm with 256 bits of output, 256 bits of token key information and 64 bits of clock information are used as the inputs. The first 64 bits of the resulting hash output are used as the time token. The remaining 192 bits of hash output are used as a message key to encrypt the message body. A message key is a string of bits which is used to encrypt, or to decrypt, a message.
This embodiment of the present invention provides perfect forward secrecy for each message body encrypted with a unique time dependent message key. The message body contains the full resolution clock information and may contain additional message data. The filtered time encryptor and the filtered time decryptor may use a lower resolution clock for token generation. The full resolution clock can be determined after the message body has been decrypted with the message key. Comparing the clock value used for token generation against the clock value included in the message body insures that the message body has been correctly decrypted.
Time tokens are generated by both the filtered time encryptor and the filtered time decryptor. A time token is a time sensitive value that is used to determine the message key. A time token is generated with a specific clock value. The time token is a component of a time token protected message.
Each time token is the partial output of a cryptographic hash. The only way a filtered time decryptor can recognize a valid time token is to match a received token against the set of tokens that is currently valid. Multiple time tokens may be valid simultaneously to account for the effects of clock and propagation delay variances.
Each filtered time decryptor maintains a cache of expected valid tokens. As the time tokens are time dependent, the number of time tokens required to be maintained depends upon the resolution of the clock used for token generation and amount of error allowed between the time token generator and the time token filter. This error includes the frequency and phase drift between the source clock and the local clock in the filtered time decryptor and the variance in the propagation delay. For example, a time token cache maintaining 1000 time tokens with a 100 μs resolution results in an overall time window of 0.1 seconds. Within the time token cache, the time tokens are maintained in a hash table, content addressable memory (CAM) or other suitable mechanisms.
The maintenance of time tokens involves the aging and removal of older time tokens from the cache and the calculation and addition of new time tokens to the cache. In addition to the time token value, each cache, hash table or CAM entry includes the clock value used to generate the time token and the hash output from the time token generation process, providing the message key.
Time token recognition is performed when a message is received by a filtered time decryptor. A lookup in the time token cache is performed for the received time token. If the time token is not found, the entire message is discarded. If the time token is found, its corresponding time token message key is used to decrypt the encrypted time message. The clock information in the hash table entry is used to validate the decrypted time message. If the clock information decrypted from the encrypted time message does not match the clock information used to generate the time token, the message is discarded. A lower resolution clock may be used for time token generation, while the full resolution clock is contained in the decrypted message body.
Because the determination of time token validity is a simple table lookup, it requires the same low computational effort to determine that a time token is valid or is invalid. The bulk of the computational effort occurs in the maintenance of the time token cache which is managed independently from message processing. Once a time token and its associated message key has been used, the time token entry is invalidated and may be removed from the token cache. Time tokens expire and become invalid once they fall outside of the time window established by the time token cache.
The probability of an attacker using a valid time token in a brute force attack is:
where p is the probability; and
n is the number of time tokens in use in the time token cache and d is the number of unique time tokens available.
The variable d is calculated as d=2b where b is the size in bits of the time token. As d! is not directly calculable for large numbers, the approximation
p(n;d)≈1−e−n
is used. Using the above example with a cache of 1000 time tokens, the probability of an attacker using a valid time token is approximately 2.70894−14.
For comparison, the probability of an attacker using a valid time token when using a cache of 10,000 time tokens is approximately 2.7105−12. The probability of an attacker using a valid time token can be reduced by increasing the time token size.
An attacker must test his attacks against the filtered time decryptor because time tokens are the partial output of a cryptographic hash, and there is no plaintext to compare against. This limits the attack rate to the maximum message rate of the filtered time decryptor. The time tokens in the time token cache are continuously being expired and refreshed, further complicating an attacker's efforts.
A message with an invalid time token or an invalid message body is considered an attack. An attack may be caused by a spoofed message or the replay of a previous message which has been invalidated or removed from the time token cache. Denial of service attacks are limited to the maximum message rate of the filtered time decryptor. The time token filter filters out attacks at the maximum message rate while accepting messages with valid time tokens. Cryptographic performance attacks must first pass through the time token filter where they are filtered out before message body decryption is attempted.
Message delay can be detected and bounded based on the window of time covered by time tokens in the time token cache. Messages delayed outside of this window are invalid. The time token cache management and aging process can invalidate (without removing) time tokens that have aged out of the time window, enabling the detection of message delay manipulation. Messages classified as delayed must have a valid time token and message body, otherwise they are indistinguishable from other forms of attack.
The difference between the source clock and filtered time decryptor's local clock, including propagation delay must be within the time window of the token cache, requiring that the filtered time decryptor's local clock is synchronized to the source clock prior to operation. One embodiment of clock synchronization uses a second clock with a lower resolution and a wider window during initialization, switching to a higher resolution clock once the filtered time decryptor's local clock is within the operational time window. The filtered time encryptor can communicate both clocks independently and the filtered time decryptor can generate both low and high resolution time tokens for its time token cache until high resolution time tokens are recognized. Once synchronized, the filtered time decryptor can cease generating low resolution time tokens.
The approach of using a time token cache can also be used to provide authenticated time communications. Authenticated time is used where the timing information is necessarily communicated unencrypted, but requires assurance that the communicated timing information has not been altered or produced by an imposter clock.
An alternate embodiment providing authenticated time uses a time token, generated as described above and a message authentication code, created using the message key associated with the time token as the cryptographic key.
This embodiment of the present invention provides perfect forward secrecy with each message body authenticated with a unique time dependent message key. The message body contains the original, unencrypted message, a time token and a message authentication code. The message authentication code is generated by using the message key associated with the time token as the key to a hash of the message data. Upon reception, the token is matched against token values present in the token cache. Upon locating a matching token value, a message authentication code is generated using the message key associated with the time token in the token cache. The generated message authentication code is then compared to the received message authentication code. If those values match, the message is authenticated. If those values do not match, the message has not been authenticated and is discarded. Upon successful authentication, the corresponding token cache entry is invalidated to prevent reuse by message replay attacks.
This approach can be used to securely communicate time over broadcast communication systems with multiple filtered time decryptors. The limiting factor is the underlying key management. For example, using a broadcast system such as an FM sideband or GPS, timing information can be securely communicated to multiple filtered time decryptors simultaneously using a single group key. To protect against a compromised filtered time decryptor compromising the entire system, a unique token key should be established for each filtered time decryptor, limiting the effect of a compromised filtered time decryptor. Filtered time decryptors receiving messages generated with a token key different from their own will discard the received messages as invalid.
This approach can also be used in conjunction with interactive time protocols such as NTP and PTP. When used in this way, each participating entity should have their own unique token key and token cache mechanism to generate and authenticate messages. This approach is tolerant of a lossy communications channel, although it cannot detect the absence of lost messages.
The embodiment providing authentication of time communications can be used to retrofit existing time communication systems. In the retrofit application, the original message is communicated as usual. After the original time communication, the time token and the message authentication code are appended. This allows existing, legacy equipment to receive and process time communications. Many communication systems do not check for additional data at the end of a communication. In this way, older, legacy time communications equipment can be made tolerant of new authenticated time communications while newer time communications equipment will be able to fully authenticate a received time communication.
In one implementation of the invention, as shown in
A receiver 26 is connected to a filtered time decryptor 28. The filtered time decryptor 28 contains a time token filter 30 providing a means for a time token filter. The time token filter 30 contains a time token cache 31. The filtered time decryptor 28 also contains a message decryptor 32, providing a means for a message decryptor. The filtered time decryptor 28 also contains a local clock 34.
Within the filtered time encryptor 16, the time token generator 18 takes the source clock 12 and the pre-shared key 14 and using a cryptographic hash algorithm, produces a cryptographic hash output 40. The cryptographic hash output 40 is divided into a time token 42 and a time token message key 44 as shown in
In a preferred embodiment, HMAC-SHA-256 is used as the hash algorithm with a 64 bit source clock 12 and a 256 bit pre-shared key 14 as inputs. Other suitable hash algorithms that are familiar to persons having ordinary skill in this art may be employed to implement the present invention.
In one preferred embodiment, after hashing, the resulting cryptographic hash output 40 is 256 bits in length. The first 64 bits are used as the time token 42 and the remaining 192 bits are used as the time token message key 44. The source clock 12 is often specified in terms of seconds and fractions of a second. In the above embodiment, a 64 bit source clock 12 would likely be composed of a 32 bit seconds field and a 32 bit fractions of a second field. The precision in the fraction of a second field is determined by the precision generator of the source clock 12. For highly precise clock sources, for example where time is can be accurately expressed to the nanosecond, the source clock 12 should be expressed with lower precision for the purpose of token generation. The full precision fraction of a second field is used to generate the encrypted time 46.
The message encryptor 20 uses the time token message key 44 to encrypt the source clock 12 resulting in an encrypted time 46. If an original message 15 is present, the message encryptor 20 uses the time token message key 44 to encrypt the source clock 12 resulting in an encrypted message 47. Using a unique time token message key 44 for each encrypted time 46 and encrypted message 47 provides perfect forward secrecy, meaning that learning the time token message key 44 for a single encrypted time 46 does not affect the security of any other encrypted time 46. Information in addition to the source clock may be included and encrypted in the encrypted time 46.
The filtered time encryptor 16 concatenates the time token 42, the encrypted time 46 and, if present, the encrypted message 47 to form a time token protected message 22 as shown in
Since the time token protected message 22 consists of a time token 42, an encrypted time 46 and optionally an encrypted message 47, it can be subsequently transmitted over an unprotected communications channel, such as being broadcast on an RF radio, sent over a computer network, communicated along an optical fiber or even communicated audibly as a sequence of tones.
The receiver 26 receives the transmitted time token protected message 22 and communicates it to the filtered time decryptor 28. The filtered time decryptor 28 filters received time token protected messages 22 using a time token filter 30. To determine which time token protected messages 22 are valid, the time token filter 30 maintains a time token cache 31, with each token cache entry 50 including a cached time token 42C, a cached clock value 52C used to generate the cached time token 42C and a cached time token message key 44C. The time token cache 31 is used to combat the effects of unreliable communications channel, clock drift and clock skew between the local clock 34 and the source clock 12 and variations in communications latency. To overcome these effects, a “window” where multiple clock values are recognizable is maintained. In one embodiment, a time token cache 31 maintaining 1000 cached time tokens 42C with a 100 μs resolution results in an overall time window of 0.1 seconds. Cached time tokens 42C that were generated using a time value that falls within this window will be recognized. The maintenance of cached time tokens 42C in the time token cache 31 involves the aging and removal of older tokens from the cache and the calculation and addition of new tokens to the cache. The time token cache 31 can be constructed using processor(s) and memory with a hash table data structure, using hardware content addressable memory (CAM) technology or other hardware technologies.
When the time token filter 30 receives a time token protected message 22, it attempts to locate matching cached time token 42C in the time token cache 31. If no cached matching time token 42C is found, the time token protected message 22 is discarded. If a matching cached time token 42C is found in the time token cache 31, the corresponding cached clock value 52C used to generate the cached time token 42C and the cached time token message key 44C are retrieved from the time token cache 31 and presented to the message decryptor 32 along with the encrypted time 46.
When a matching cached time token 42C is found, the message decryptor 32 decrypts the encrypted time 46 using the cached time token message key 44C to produce the decrypted clock 48. If an encrypted message 47 is present, the message decryptor 32 decrypts the encrypted message 47 using the cached time token message key 44C to produce the decrypted message 49. To insure proper decryption, the decrypted clock 48 should be compared against the cached clock value 52C used to generate the cached time token 42C. The cached clock value 52C used to generate the cached time token 42C should be the same as the decrypted clock 48 or a lower precision value of the decrypted clock 48. After determining that the decrypted clock 48 is the same as the cached clock value 52C used to generate the cached time token 42C, the token cache entry 50 is invalidated.
The decrypted clock 48 can be used to adjust the local clock 34. If additional message data was included and encrypted in the encrypted time 46, that message data is now available to the filtered time decryptor 28.
In order for the filtered time decryptor 28 to decrypt a time token protected message 22, its local clock 34 must be synchronized with the source clock 12 such that a received time token 42 falls within the window of time tokens 42 in the time token cache 31. In a preferred embodiment, a second source clock 12 is used with a much lower clock resolution and a wider window during the local clock 34 synchronization. For instance, the initialization clock resolution can be 1 second with a 300 second window. This allows a much wider range of clock values to be received and once one value is received and properly decrypted, the full resolution of the clock can be obtained from the decrypted clock 48.
The following examples are provided to further explain to the reader the operation of the present invention. These example are supplied to enhance the reader's understanding, but are not presented to limit the scope of the embodiments of the present invention, or the scope of the Claims.
The time token cache 31 in the filtered time decryptor 28 recognizes time cached tokens 42C that fall within a time window. In order to recognize a time token 42, a matching cached time token 42C must be in the time token cache 31. The time token cache maintains a series of cached time tokens 42C, with each cached time token 42C being generated with a different clock value. That is, the cached time tokens 42C in the time token cache 31 have been generated from a local clock 34 whose time is between time A and time B. For example, the invention may utilize a time window of one second. The time token cache 31 would generate cached time tokens 42C generated from a local clock 34 with a reduced resolution with clock values between 12345678.000 and 12345678.999.
In an alternative implementation, a one second time window would extend between the values of 12345678.500 to 12345679.499. The time values of the boundaries of the time window are arbitrary. Although a time window of one second has been used in this example, the time window can be any duration, as long as the time token cache 31 has the resources to maintain the entire time window. Those resources are sufficient computing power to generate cached time tokens 42C and the storage resources to store the resulting time token cache 31 entries. The time token cache 31 must maintain cached time tokens 42C to span the time window. For a one second time window and using a clock resolution of 0.001 seconds, one thousand cached time tokens 42C are required to span the window. For a longer duration time window of three seconds, three thousand cached time tokens 42C would be required at the same clock resolution of 0.001 seconds.
A time token 42 is derived from the cryptographic hash output 40 of a cryptographic hash function that uses a pre-shared key 14 and a local clock 34 at a reduced resolution as inputs. A shown in
Once the time token cache 31 has initially been populated with cached time tokens 42C, their associated cached time token message keys 44C and the cached clock value 52C used to generate each time token 42, the time token cache 31 must be maintained. The time window moves forward in time. The time window, as described by its boundaries, is constantly moving forward in time. Using the previous example of a time window of one second with the time boundaries of 12345678.000 and 12345678.999, the leading boundary is 12345678.999 and the trailing boundary is 12345678.000. Both of these boundaries advance at the same rate. When the leading boundary advances, new cached time tokens 42C must be calculated and placed in the time token cache 31. When the trailing boundary advances, cached time tokens 42C that are already in the time token cache 31 that are no longer within the time window are expired and are removed from the time token cache 31. For example, as the leading boundary advances from 12345678.999 to 12345679.000, a new cached time token 42C using the clock value of 12345679.000 is generated and placed in the time token cache 31. As the trailing boundary advances from 12345678.000 to 12345678.001, the cached time token 42C in the time token cache generated from the clock value 12345678.000 is expired and removed from the time token cache 31. This process repeats continuously to maintain the time token cache 31.
To securely communicate a source clock 12, a filtered time encryptor 16 uses a pre-shared key 14 and the value of the source clock 12 at a reduced resolution as inputs to a cryptographic hash function, producing the cryptographic hash output 40. A shown in
A receiver 26 receives a time token protected message 22 and forwards it to the filtered time decryptor 28. The filtered time decryptor 28 takes the time token 42 from the time token protected message 22 and, using the time token 42 as the input search value to the time token cache 31, attempts to locate a matching cached time token 42C. If there is no matching cached time token 42C, then the time token protected message 22 is discarded. If there is a matching cached time token 42C in the time token cache 31, the associated cached time token message key 44C and cached clock value 52C used to generate the cached time token 42C are all retrieved. The encrypted time 46, obtained from the time token protect message 22 and the cached time token message key 44C are provided to the message decryptor 32. The message decryptor 32 decrypts the encrypted time 46. The output from the message decryptor should be the full resolution source clock value. The output from the message decryptor is compared to the cached clock value 52C used to generate the cached time token 42C. If both values, compared at the reduced resolution, do not match, the time token protected message 22 is discarded. For example, if the reduced resolution clock value is 12345678.123 and the decrypted source clock value is 12345678.123456, then the values match when compared at the reduced resolution. If the cached clock value 52C is again 12345678.123 and the decrypted source clock value is 234532.659342, the match fails and the time token protected message 22 is discarded. If both values, compared at the reduced resolution, match, then the decrypted encrypted time 46 is used as the decrypted clock 48 and the token cache entry 50 in the time token cache 31 is invalidated and removed from the time token cache 31.
As the time token protected message 22 traverses an unsecured communications channel 60, between the transmitter 24 and the receiver 26, it is subject to various forms of attack from an attacker 62. The time token protected message 22 has two layers of protection; each encrypted time 46 is encrypted with a different time token message key 44. This provides what is known as “perfect forward secrecy.” Perfect forward secrecy means that the discovery or compromise of a single message does not affect the secrecy of any other message. In the present invention, if the source clock 12 is accurately decrypted from encrypted time 46 by an attacker 62, the determination of the time token message key 44 used to encrypt that specific encrypted time 46 cannot be used to decrypt any other encrypted time 46. This makes brute force cryptographic attacks on the encrypted time message very difficult. The determination of the cached time token message key 44C is performed after a cached time token 42C has been located in the time token cache 31. This is the second layer of protection. The time token filter 30 and the time token cache 31 have been designed to make various forms of attack nearly impossible. In an embodiment using a time token 42 that is 64 bits long, the total number of unique time tokens is 264 or 18,446,744,073,709,551,616. Using the previous example of a time token cache 31 containing 1,000 tokens and their corresponding token cache entries 50, the probability of an attacker using a valid time token 42 is approximately 2.70894−14. Numerically, this is 0.000,000,000,000,027,089,4 or a chance of less than 1 in 28 quadrillion. The probability of an attacker using a valid time token can be reduced by increasing the size of the time token 42. Time tokens 42 are a portion of a cryptographic hash output 40. Cryptographic hash outputs 40 are irreversable, meaning their inputs cannot be determined from their outputs. Furthermore, there is no plaintext to compare against. The only way to determine of a cryptographic hash output 40 and thus a time token 42 is valid is to submit the time token 42 to the time token filter 30. This limits the number of attack attempts (guesses) to the maximum rate at which time tokens can be fed to the filtered time decryptor 28. For example, if the filtered time decryptor 28 can process one million tokens per second, the probability of an attacker guessing any valid time token 42 is still 2.70894−8. Numerically, this is 0.000,000,027,089,4 or a chance of less than one in 28 billion.
The cached time tokens 42C in the time token cache 31 are continuously being refreshed to stay within the time window. When the time window is one second, after one second, all of the cached time tokens 42C will have been refreshed. This forces the attacker to restart their attack, rendering the one million guesses that have already been made useless as the cached time tokens 42C in the time token cache 31 have completely changed. The time token filter 30 and the time token cache 31 have been designed to require the same low amount of computational effort to make the determination of if a time token 42 is found or if a time token 42 is not found within the time token cache 13. This is important because it allows the time token filter 30 to easily and quickly separate valid time tokens 42 from invalid time tokens 42.
Finally, in the event that an attacker 62 does produce a time token 42 that is in the time token cache 31, the attacker must still generate an encrypted time 46 that when decrypted using the cached time token message key 44C associated with the cached time token 42C, produces a clock value that matches the reduced resolution clock value used to generate the time token 42. This outcome is extremely unlikely.
All of these protections combine together to defend against various types of attack. Message spoofing attacks, where an attacker 62 creates a time token protected message 22, will fail by being filtered out by the time token filter 30. If, in the extremely unlikely case that a spoofed message is not filtered out by the time token filter, it will be filtered out by the message decryptor 32.
Another type of attack is the message replay attack. In a message replay attack, an attacker makes a copy of a valid message generated by a filtered time encryptor 16 and replays the copied message to the receiver 26. Replay attacks are protected against by invalidating a cached time token 42C in the time token cache 31 when a matching time token 42 is received. This invalidation causes the replayed time token protected message 22 to fail to be recognized, thus protecting the system from message replay attacks.
Another type of attack is the denial of service attack. In a denial of service attack, the attacker 62 attempts to overwhelm the target with high volumes of data. The time token filter 30 and the time token cache 31 have been designed to require the same low amount of computational effort to make the determination of if a time token 42 is found or if a time token 42 is not found within the time token cache 13. This is important because it allows the time token filter 30 to easily and quickly separate valid time tokens 42 from invalid time tokens 42, as is the case during a denial of service attack.
Another type of attack is a the cryptographic performance attack. In a cryptographic performance attack, the attacker 62 sends messages designed to trigger the execution of computationally expensive cryptographic algorithms. This is a form of message spoofing and denial of service attacks. In the present invention, time token protected messages 22 generated by the attacker 62 intended to place additional load on the message decryptor 32 are filtered out by the time token filter 30 as described above. The time token filter 30 in conjunction with the time token cache 31 reduce cryptographic performance attacks to a denial of service or message spoofing attack.
Another type of attack is message delay manipulation. In message delay manipulation, a valid time token protected message 22 produced by a filtered time encryptor 16 is delayed during its traversal of the unsecured communications channel 60. If the delayed time token protected message 22 is received when the time value used to generate the time token 42 is still within the time window, it will be received normally. If the attacker 62 has delayed the time token protected message 22 enough so that it falls outside of the time window, then the time token 42 will be unrecognized. In one embodiment of the present invention, once a time token cache entry 50 has expired, the token cache entry 50 can be marked invalid but is not removed from the time token cache 31. This allows the time token filter 30 to recognize and detect time token protected messages 22 that have been delayed outside of the time window.
In one embodiment of the invention, shown in
A receiver 26 is connected to a filtered time authenticator 194. The filtered time authenticator 194 contains a time token filter 30 providing a means for a time token filter. The time token filter 30 contains a time token cache 31. The filtered time authenticator 194 also contains a message authentication code authenticator 196, providing a means for a message authentication code authenticator. The filtered time authenticator 194 also contains a local clock 34.
Within the filtered time MAC generator 190, the time token generator 18 takes the source clock 12 and the pre-shared key 14 and using a cryptographic hash algorithm, produces a cryptographic hash output 40. The cryptographic hash output 40 is divided into a time token 42 and a time token message key 44 as shown in
In a preferred embodiment, HMAC-SHA-256 is used as the hash algorithm with a 64 bit source clock 12 and a 256 bit pre-shared key 14 as inputs. Other suitable hash algorithms that are familiar to persons having ordinary skill in this art may be employed to implement the present invention.
After hashing, the resulting cryptographic hash output 40 is 256 bits in length. The first 64 bits are used as the time token 42 and the remaining 192 bits are used as the time token message key 44. The source clock 12 is often specified in terms of seconds and fractions of a second. In the above embodiment, a 64 bit source clock 12 would likely be composed of a 32 bit seconds field and a 32 bit fractions of a second field. The precision in the fraction of a second field is determined by the precision generator of the source clock 12. For highly precise clock sources, for example where time is can be accurately expressed to the nanosecond, the source clock 12 should be expressed with lower precision for the purpose of token generation.
The message authentication code generator 192 uses the time token message key 44 to generate a message authentication code 122 of the source clock 12. Optionally, the message key 44 is used to generate a message authentication code 122 of the original message 15. Using a unique time token message key 44 for each message authentication code 122 provides perfect forward secrecy, meaning that learning the time token message key 44 for a single time token authenticated message 120 does not affect the security of any other time token authenticated message time 120.
The filtered time MAC generator 190 creates a time token authentication message 120 by appending the time token 42 and the message authentication code 122 to the source clock 12. Optionally, a time token authentication message 120 is created by appending the time token 42 and the message authentication code 122 to the original message 15. The time token authenticated message 190 is then transmitted by the transmitter 24.
Since the time token authenticated message 120 consists of a time token 42, a message authentication code 122 and a source clock 12 or an original message 15, it can be subsequently transmitted over an unprotected communications channel, such as being broadcast on an RF radio, sent over a computer network, communicated along an optical fiber or even communicated audibly as a sequence of tones.
The receiver 26 receives the transmitted time token authentication message 120 and communicates it to the filtered time authenticator 194. The filtered time authenticator 194 first filters received time token authenticated messages 120 using a time token filter 30. To determine which time token authenticated messages 120 are valid, the time token filter 30 maintains a time token cache 31 of token cache entries 50 each including a cached time token 42C, the clock value 52 used to generate the cached time token 42C and the cached time token message key 44C. Multiple cached time tokens 42C are used in the time token cache 31 to combat the effects of unreliable communications channel, clock drift and clock skew between the local clock 34 and the source clock 12 and variations in communications latency. To overcome these effects, a “window” where multiple clock values are recognizable is maintained. In one embodiment, a time token cache 31 maintaining 1000 time tokens 42 with a 100 μs resolution results in an overall time window of 0.1 seconds. Cached time tokens 42C that were generated using a time value that falls within this window will be recognized. The maintenance of cached time tokens 42C in the time token cache 31 involves the aging and removal of older tokens from the cache and the calculation and addition of new tokens to the cache. The time token cache 31 can be constructed using processor(s) and memory with a hash table data structure, using hardware content addressable memory (CAM) technology or other hardware technologies.
Cached time tokens 42C are aged or removed from the token cache after a specified amount of time to place an upper bound on the length of time that a message will be considered valid. Without aging, old messages could be delayed indefinitely by an attacker and that at a time of the attacker's choosing, released and providing false timing information to the receiving system.
When the time token filter 30 receives a time token authenticated message 120, a time token 42 from the time token authenticated message 120 is used to locate a token cache entry 50 with a matching cached time token 42C in the time token cache 31. If a token cache entry 50 with a matching cached time token 42C cannot be located, the time token authenticated message 120 is discarded. If a token cache entry 50 with a matching cached time token 42C is located, token cache entry 50 containing the cached time token 42C, the cached clock value 52C used to generate the cached time token 42C and the associated cached time token message key 44C are retrieved from the time token cache 31 and presented to the message authentication code authenticator 196 along with the source clock 12 or optionally the original message 15.
The message authentication code authenticator 196 uses the cached time token message key 44C from the token cache entry 50 is used to generate a local message authentication code 122L of the source clock 12. Optionally, the cached time token message key 44C from the token cache entry 50 is used to generate a local message authentication code 122L of the original message 15. The generated local message authentication code 122L is compared with the message authentication code 122 obtained from the time token authenticated message 120. If the local message authentication code 122L does not match the message authentication code 122, then the authentication of the received time token authenticated message 120 fails and the time token authenticated message 120 is discarded. If the local message authentication code 122L matches the message authentication code 122, then the authentication of the received time token authenticated message 120 is confirmed and the received message has been authenticated. The matched token cache entry 50 in the time token cache 31 is invalidated to prevent reuse. The source time 12 is authenticated resulting in the authenticated source time 128. Optionally, the original message 15 is authenticated resulting in the authenticated original message 126.
In order for the filtered time authenticator 194 to authenticate a time token authenticated message 120, its local clock 34 must be synchronized with the source clock 12 such that a received time token 42 falls within the window of cached time tokens 42C in the time token cache 31. In a preferred embodiment, a second source clock 12 is used with a much lower clock resolution and a wider window during the local clock 34 synchronization. For instance, the initialization clock resolution can be 1 second with a 300 second window. This allows a much wider range of clock values to be received and once one value is received and properly authenticated, the full resolution of the clock can be obtained from the authenticated time 128.
The following examples are provided to further explain to the reader the operation of the present invention. These example are supplied to enhance the reader's understanding, but are not presented to limit the scope of the embodiments of the present invention, or the scope of the Claims.
To communicate a source clock 12 with authentication, a filtered time MAC generator 190 uses a pre-shared key 14 and the value of the source clock 12 at a reduced resolution as inputs to a cryptographic hash function, producing the cryptographic hash output 40. A shown in
A receiver 26 receives a time token authenticated message 120 and forwards it to the filtered time authenticator 194. The filtered time authenticator 194 takes the time token 42 from the time token authenticated message 120 and sends it to the time token filter 30. When the time token filter 30 receives a time token authenticated message 120, a time token 42 from the time token authenticated message 120 is used to locate a token cache entry 50 with a matching cached time token 42C in the time token cache 31. If a token cache entry 50 with a matching cached time token 42C cannot be located, the time token authenticated message 120 is discarded. If a token cache entry 50 with a matching cached time token 42C is located, the corresponding cached clock value 52C used to generate the matching cached time token 42C and the associated cached time token message key 44C are retrieved from the time token cache 31 and presented to the message authentication code authenticator 196 along with the source clock 12 or optionally the original message 15.
The message authentication code authenticator 196 uses the cached time token message key 44C from the token cache entry 50 is used to generate a local message authentication code 122L of the source clock 12. Optionally, the cached time token message key 44C from the token cache entry 50 is used to generate a local message authentication code 122L of the original message 15. The generated local message authentication code 122L is compared with the message authentication code 122 obtained from the time token authenticated message 120. If the local message authentication code 122L does not match the message authentication code 122, then the authentication of the received time token authenticated message 120 fails and the time token authenticated message 120 is discarded. If the local message authentication code 122L matches the message authentication code 122, then the authentication of the received time token authenticated message 120 is confirmed and the received message has been authenticated. The matched token cache entry 50 in the time token cache 31 is invalidated to prevent reuse. The source time 12 is authenticated resulting in the authenticated source time 128. Optionally, the original message 15 is authenticated resulting in the authenticated original message 126. As the time token authenticated message 120 traverses an unsecured communications channel 60, between the transmitter 24 and the receiver 26, it is subject to various forms of attack from an attacker 62. Each time token authenticated message 120 has two layers of protection. The first layer of protection is the use of a message authentication code 122 that uses a unique time token message key 44. Using a unique time token message key 44 provides what is known as “perfect forward secrecy.” Perfect forward secrecy means that the discovery or compromise of a single message does not affect the authentication of any other message. In the present invention, if the source clock is accurately authenticated from the message authentication code 122 by an attacker 62, the determination of the time token message key 44 used to authenticate a specific message authentication code 122 cannot be used to authenticate or generate other valid message authentication codes 122. This makes brute force cryptographic attacks on authenticated time messages very difficult. The determination of the cached time token message key 44C is performed after a cached time token 42C has been located in the time token cache 31. This is the second layer of protection. The time token filter 30 and the time token cache 31 have been designed to make various forms of attack nearly impossible. If we are using a time token 42 that is 64 bits long, the total number of unique time tokens 42 is 264 or 18,446,744,073,709,551,616. Using the above example of a time token cache 31 using 1,000 tokens, the probability of an attacker using a valid time token 42 is approximately 2.70894−14. Numerically, this is 0.000,000,000,000,027,089,4 or a chance of less than 1 in 28 quadrillion. The probability of an attacker using a valid time token can be reduced by increasing the size of the time token 42. Time tokens 42 are a portion of a cryptographic hash output 40. Cryptographic hash outputs 40 are irreversible; the inputs cannot be determined from the outputs. The only way to determine of a cryptographic hash output 40 and thus a time token 42 is valid is to submit the time token 42 to the time token filter 30. This thus limits the number of attack attempts (guesses) to the maximum rate at which time tokens can be fed to the filtered time authenticator 194. For example, if the filtered time authenticator 194 can process one million tokens per second, the probability of an attacker guessing any valid time token 42 is still 2.70894−8. Numerically, this is 0.000,000,027,089,4 or a chance of less than one in 28 billion.
The cached time tokens 42C in the time token cache 31 are continuously being refreshed to stay within the time window. When the time window is one second, after one second, all of the cached time tokens 42C will have been refreshed. This forces the attacker to restart their attack, rendering the one million guesses that have already been made useless as the cached time tokens 42C in the time token cache 31 have completely changed. Any information gained from previous guesses is lost. The time token filter 30 and the time token cache 31 have been designed to require the same low amount of computational effort if a time token 42 is found or if a time token 42 is not found within the time token cache 31. This is important because it allows the time token filter 30 to easily and quickly separate valid time tokens 42 from invalid time tokens 42. A valid time token 42 is a time token 42 that matches a cached time token 42C in the time token cache 31.
Finally, in the event that an attacker 62 does produce a time token 42 that is in the time token cache 31, the attacker must still generate a message authentication code 122 that when authenticated using the cached time token message key 44C associated with the cached time token 42C, produces a valid message authentication code 122. This outcome is extremely unlikely.
All of these protections combine together to defend against various types of attack. Message spoofing attacks, where an attacker 62 creates a time token authenticated message 120, will fail by being filtered out by the time token filter 30. If, in the extremely unlikely case that a spoofed message is not filtered out by the time token filter, it will be filtered out by the message authentication code authenticator 196.
Another type of attack is the message replay attack. In a message replay attack, an attacker makes a copy of a valid message generated by a filtered time MAC generator 190 and replays the copied message to the receiver 26. Replay attacks are protected against by invalidating a time token 42 in the time token cache 31 when a matching time token 42 is received. This invalidation causes the replayed time token authenticated message 120 to fail to be recognized, thus protecting the system from message replay attacks.
Another type of attack is the denial of service attack. In a denial of service attack, the attacker 62 attempts to overwhelm the target with high volumes of data. The time token filter 30 and the time token cache 31 have been designed to require the same low amount of computational effort to determine if a time token 42 is found or if a time token 42 is not found within the time token cache 31. This is important because it allows the time token filter 30 to easily and quickly separate valid time tokens 42 from invalid time tokens 42, as is the case during a denial of service attack.
Yet another type of attack is a the cryptographic performance attack. In a cryptographic performance attack, the attacker 62 sends messages designed to trigger the execution of computationally expensive cryptographic algorithms. This is a form of message spoofing and denial of service attacks. In the present invention, time token authenticated messages 120 generated by the attacker 62 intended to place additional load on the message authentication code authenticator 196 are filtered out by the time token filter 30 as described above. The time token filter 30 in conjunction with the time token cache 31 reduce cryptographic performance attacks to a denial of service or message spoofing attack.
Still another type of attack is message delay manipulation. In message delay manipulation, a valid time token authenticated message 120 produced by a filtered time MAC generator 190 is delayed during its traversal of the unsecured communications channel 60. If the delayed time token authenticated message 120 is received when the time value used to generate the time token 42 is still within the time window, it will be received normally. If the attacker 62 has delayed the time token authenticated message 120 enough so that it falls outside of the time window, then the time token 42 will be unrecognized. In one embodiment of the present invention, once a time token cache entry 50 has expired, the token cache entry 50 can be marked invalid but is not removed from the time token cache 31. This allows the time token filter 30 to recognize and detect time token authenticated messages 120 that have been delayed outside of the time window.
For timing protocols that require the sending of more that a single packet during the time period described by a single low resolution clock tick, the time token generator includes an additional input to the cryptographic hash. The additional input indicates the event number that falls within a single low resolution clock tick. For example, using a low resolution clock that ticks every microsecond ( 1/1000 of a second) if we need to send three packets during a single microsecond, then we need to insure each time token encrypted message or each time token authenticated message will generate a unique time token. Adding an event number to the cryptographic hash calculation insures that multiple time tokens generated within the same clock tick will have different token values. When the low resolution clock ticks, the event number is set to zero. When a time token is generated, the event number is incremented. To accommodate this, the time token cache must also generate tokens using an event number. The time token cache generates time tokens for each time value and for each event number up to a predetermined maximum number of events. For example, if we wish to allow 10 time token events per low resolution clock tick, then for each clock tick we must calculate 10 time tokens, using event number 1-10. This is approach of using event numbers is much more efficient that increasing the resolution of the clock.
The present invention can be used to secure timing communications of security devices that rely of time for their correct operation. This includes devices that employ Transmission Access Control (TAC) and Statistical Object Identification (SOI).
The following Glossary is provided to teach the reader about the present invention, and to assist them in their comprehension of the Specification and Claims. The definitions are supplied to enhance the reader's understanding, but are not presented to limit the scope of the embodiments of the present invention, or the scope of the Claims. Other suitable definitions may be found in scientific literature pertaining to this field.
Although the present invention has been described in detail with reference to one or more preferred embodiments, persons possessing ordinary skill in the art to which this invention pertains will appreciate that various modifications and enhancements may be made without departing from the spirit and scope of the Claims that follow. The various alternatives for providing a Secure Time Communication System have been disclosed above are intended to educate the reader about preferred embodiments of the invention, and are not intended to constrain the limits of the invention or the scope of Claims.