DOI10.1007/978-3-642-29414-3_19zbMath1356.94088OpenAlexW9488350MaRDI QIDQ2900486
Steve Barker
Publication date: 23 July 2012 Published in: Logic Programs, Norms and Action (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-29414-3_19
Mathematics Subject Classification ID
Logic programming (68N17) Authentication, digital signatures and secret sharing (94A62)