{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:25Z","timestamp":1761611245419},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. B"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/tsmcb.2009.2019263","type":"journal-article","created":{"date-parts":[[2009,5,27]],"date-time":"2009-05-27T15:17:23Z","timestamp":1243437443000},"page":"889-900","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux"],"prefix":"10.1109","volume":"39","author":[{"family":"Ji Ma","sequence":"first","affiliation":[]},{"given":"M.A.","family":"Orgun","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sattar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-007-9027-4"},{"key":"ref38","first-page":"233","article-title":"extending cryptographic logics of belief to key agreement protocols","author":"oorschot","year":"1993","journal-title":"Proc ACM Conf Comput Commun Sec"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48754-9_21","article-title":"a tableau calculus for a temporal logic with temporal connectives","volume":"1617","author":"may","year":"1999","journal-title":"Proc Int Conf Automated Reasoning With Analytic Tableaux Related Methods"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-007-9049-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ECUMN.2007.49"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.871628"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.06.002"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1989.40587"},{"key":"ref34","author":"miller","year":"1987","journal-title":"Project Athena Technical Plan"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1401311"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ISUMA.2003.1236173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00156915"},{"key":"ref12","author":"fitting","year":"1999","journal-title":"First-Order Logic"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000028537.84347.9c"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008355230754"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63854"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-59338-1_29","article-title":"labelled tableaux for multi-modal logics","author":"governatori","year":"1995","journal-title":"Proc 4th Int Workshop Theorem Proving With Analytic Tableaux Related Methods"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3614-5_8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.502224"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(92)90222-D"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015258"},{"key":"ref27","first-page":"142","article-title":"a temporalised belief logic for specifying the dynamics of trust for multi-agent systems","volume":"3321","author":"liu","year":"2004","journal-title":"Proc Asian Computer Science Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.557135"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"ref29","author":"lowe","year":"1997","journal-title":"A family of attacks upon authentication protocols"},{"key":"ref5","first-page":"810","article-title":"on the verification of web services compatibility: a petri net approach","author":"backer","year":"2004","journal-title":"On The Move Workshops"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00136-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/112600.112618"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2004.1314432"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1993.287635"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00197942"},{"key":"ref45","first-page":"219","article-title":"formal semantics for authentication logics","volume":"1146","author":"wedel","year":"1996","journal-title":"Proc ESORICS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0346-0145-0_16"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2006.885306"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055874"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","article-title":"athena: a novel approach to efficient automatic security protocol analysis","volume":"9","author":"song","year":"2001","journal-title":"J Comput Secur"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45656-2_29"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.843274"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1399872"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2009010101"},{"key":"ref26","first-page":"60","article-title":"trust in secure communication systemsthe concept, representations, and reasoning techniques","volume":"2557","author":"liu","year":"2002","journal-title":"Proc Advances Artificial Intelligence"},{"key":"ref43","author":"syverson","year":"1996","journal-title":"NRL Publication"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/331119.331415"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3477\/4967998\/04909019.pdf?arnumber=4909019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:34Z","timestamp":1633909894000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4909019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":47,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsmcb.2009.2019263","relation":{},"ISSN":["1083-4419"],"issn-type":[{"value":"1083-4419","type":"print"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}