{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T11:49:35Z","timestamp":1699357775077},"reference-count":21,"publisher":"International Academy Publishing (IAP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.7.4.890-899","type":"journal-article","created":{"date-parts":[[2012,4,26]],"date-time":"2012-04-26T17:27:44Z","timestamp":1335461264000},"source":"Crossref","is-referenced-by-count":2,"title":["Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif"],"prefix":"10.17706","volume":"7","author":[{"given":"Bo","family":"Meng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,4,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2009.934.964"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2011.1068.1091"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/SP.2008.32","article-title":"Civitas: Toward a secure voting system","volume-title":"Proceeding of the 2008 IEEE Symposium on Security and Privacy","author":"Clarkson","year":"2008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.4.5.370-377"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2009.302.309"},{"key":"ref6","first-page":"942","article-title":"A receipt-free coercion-resistant remote internet voting protocol without physical assumptions through deniable encryption and trapdoor commitment scheme","volume":"5","author":"Meng","year":"2010","journal-title":"J. Softw.","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.5.6.683-690"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.55087"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.3233\/JCS-2001-91-206","article-title":"A cost-based framework for analysis of denial of service networks","volume":"9","author":"Meadows","year":"2001","journal-title":"Journal of Computer Security"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010241"},{"key":"ref12","article-title":"Considerations in the Preparation of a Set of Availability Criteria","volume-title":"Proceeding of the Third Annual Canadian Computer Security Symposium","author":"Bacic","year":"1991"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/JCS-1993-22-303","article-title":"A Resource Allocation Model for Denial of Service Protection","volume":"2","author":"Millen","year":"1993","journal-title":"Journal of Computer Security"},{"key":"ref14","article-title":"Using Admissible Interference to Detect Denial of Service Vulnerabilities","volume-title":"Proceedings of the Sixth International Workshop in Formal Methods (IWFM)","author":"Lafrance","year":"2003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1266977.1266978"},{"key":"ref16","first-page":"592","article-title":"DoS attacks on security protocols of the formal analysis","volume":"3","author":"Zhou","year":"2008","journal-title":"Journal of Research Institute of China Electronics"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1990.128191"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/ARES.2006.36","article-title":"Availability Enforcement by Obligations and Aspects Identification","volume-title":"Proceedings of the First International Conference on Availability, Reliability and Security (ARES '06)","author":"Cuppens","year":"2006"},{"key":"ref19","first-page":"91","article-title":"Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories","volume-title":"Proceedings of International Workshop on Foundations of Computer Security","author":"Agha","year":"2005"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/CSFW.2005.18","article-title":"Game-Based Analysis of Denial-of-Service Prevention Protocols","volume-title":"Proceedings of the 18th IEEE workshop on Computer Security Foundations","author":"Mahimkar","year":"2005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1044731.1044735"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:55:43Z","timestamp":1497981343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/5816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,1]]},"references-count":21,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.7.4.890-899","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,4,1]]}}}