Visible to the public Provable Security of the Ma-Tsudik Forward-Secure Sequential Aggregate MAC Scheme

TitleProvable Security of the Ma-Tsudik Forward-Secure Sequential Aggregate MAC Scheme
Publication TypeConference Paper
Year of Publication2019
AuthorsHirose, Shoichi, Shikata, Junji
Conference Name2019 Seventh International Symposium on Computing and Networking Workshops (CANDARW)
Keywordsaccess protocols, compositionality, Cryptographic Hash Function, cryptographic hash functions, cryptography, forward security, Ma-Tsudik Forward-Secure Sequential Aggregate MAC Scheme, Ma-Tsudik FssAgg MAC scheme, Metrics, provable security, pubcrawl, resilience, Resiliency, sequential aggregate authentication, sequential aggregate MAC, Wireless sensor networks, wireless sensors
AbstractConsidering application to communication among wireless sensors, Ma and Tsudik introduced the notion of forward-secure sequential aggregate (FssAgg) authentication in 2007. They also proposed an FssAgg MAC scheme composed of a MAC function and cryptographic hash functions at the same time. The security of their proposed scheme has not been analyzed yet and remains open. It is shown in this paper that a slight variant of the Ma-Tsudik FssAgg MAC scheme is secure under reasonable and standard assumptions on security of the underlying primitives. An efficient instantiation of the underlying MAC function using a cryptographic hash function is also discussed.
DOI10.1109/CANDARW.2019.00064
Citation Keyhirose_provable_2019