Open AccessSplitting authentication codes with perfect secrecy: New results, constructions and connections with algebraic manipulation detection codes
Author(s) -
Maura B. Paterson,
Douglas R. Stinson
Publication year - 2023
Publication title -
advances in mathematics of communications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.601
H-Index - 26
eISSN - 1930-5346
pISSN - 1930-5338
DOI - 10.3934/amc.2021054
Subject(s) - mathematics , combinatorial design , authentication (law) , secrecy , code (set theory) , algebraic number , discrete mathematics , combinatorics , information theoretic security , cryptography , computer science , algorithm , mathematical analysis , computer security , set (abstract data type) , programming language
A splitting BIBD is a type of combinatorial design that can be used to construct splitting authentication codes with good properties. In this paper we show that a design-theoretic approach is useful in the analysis of more general splitting authentication codes. Motivated by the study of algebraic manipulation detection (AMD) codes, we define the concept of a group generated splitting authentication code. We show that all group-generated authentication codes have perfect secrecy, which allows us to demonstrate that algebraic manipulation detection codes can be considered to be a special case of an authentication code with perfect secrecy. We also investigate splitting BIBDs that can be "equitably ordered". These splitting BIBDs yield authentication codes with splitting that also have perfect secrecy. We show that, while group generated BIBDs are inherently equitably ordered, the concept is applicable to more general splitting BIBDs. For various pairs \begin{document}$ (k, c) $\end{document} , we determine necessary and sufficient (or almost sufficient) conditions for the existence of \begin{document}$ (v, k \times c, 1) $\end{document} -splitting BIBDs that can be equitably ordered. The pairs for which we can solve this problem are \begin{document}$ (k, c) = (3, 2), (4, 2), (3, 3) $\end{document} and \begin{document}$ (3, 4) $\end{document} , as well as all cases with \begin{document}$ k = 2 $\end{document} .