Vishwani D. Agrawal;Ronald D. Blanton;Maurizio Damiani
-;-;-
Analysis of authentication protocols in agent-based systems using labeled tableaux
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics