{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:35:44Z","timestamp":1761323744772,"version":"3.37.0"},"reference-count":10,"publisher":"Academy Publisher","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JNW"],"DOI":"10.4304\/jnw.6.4.662-669","type":"journal-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T09:56:16Z","timestamp":1302602176000},"source":"Crossref","is-referenced-by-count":3,"title":["Analysis and Improvement of the BAN Modified Andrew Secure RPC Protocol"],"prefix":"10.4304","volume":"6","author":[{"given":"Weibo","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenping","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuanyuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2838","published-online":{"date-parts":[[2011,4,1]]},"reference":[{"volume-title":"Model Checking","year":"1999","author":"Clarke","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/65000.65002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref4","first-page":"530","article-title":"Chaff: Engineering an efficient SAT solver","volume-title":"Proc. of the 38th Design Automation Conf. Las Vegas","author":"Moskewicz","year":"2001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(97)00072-0"},{"key":"ref7","first-page":"46","article-title":"What do we Mean by Entity Authentication","volume-title":"IEEE Symposium on Security and Privacy","author":"Gollman","year":"1996"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/302350.302356"},{"key":"ref9","first-page":"374","volume-title":"Encoding Plans in Propositional Logic","author":"Kautz","year":"1996"},{"issue":"13","key":"ref10","first-page":"153","article-title":"Formal specification and verification of Andrew secure RPC protocol based on strand spaces model.","volume":"43","author":"Qinglei","year":"2007","journal-title":"Computer Engineering and Applications"}],"container-title":["Journal of Networks"],"original-title":[],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T17:10:48Z","timestamp":1738775448000},"score":1,"resource":{"primary":{"URL":"https:\/\/dblp.org\/db\/journals\/jnw\/index.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":10,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2011,4,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jnw.6.4.662-669","relation":{},"ISSN":["1796-2056"],"issn-type":[{"type":"print","value":"1796-2056"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}