{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:51Z","timestamp":1725544791531},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_23","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"357-372","source":"Crossref","is-referenced-by-count":4,"title":["Message Confidentiality Testing of Security Protocols \u2013 Passive Monitoring and Active Checking"],"prefix":"10.1007","author":[{"given":"Guoqiang","family":"Shu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Achilles Proxy, http:\/\/www.mavensecurity.com\/achilles"},{"key":"23_CR2","unstructured":"Chen, S., Kalbarczyk, Z., Xu, J., Iyer, R.K.: A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. In: International Conference on Dependable Systems and Networks (DSN 2003), p. 605 (2003)"},{"issue":"4","key":"23_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on Test. Data Selection: Help For The Practicing Programmer. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Transaction on Information Theory\u00a029, 198\u2013208 (1983)","journal-title":"IEEE Transaction on Information Theory"},{"issue":"5","key":"23_CR5","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1109\/TC.2004.1275300","volume":"53","author":"A. Duale","year":"2004","unstructured":"Duale, A., \u00dcmit Uyar, M.: A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. IEEE Trans. Computers\u00a053(5), 614\u2013627 (2004)","journal-title":"IEEE Trans. Computers"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Fabbri, S., Maldonado, J., Sugeta, T., Masiero, P.: Mutation testing applied to validate specifications based on statecharts. In: International Symposium on Software Reliability Systems (ISSRE), pp. 210\u2013219 (1999)","DOI":"10.1109\/ISSRE.1999.809326"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Geer, D., Harthorne, J.: Penetration Testing: A Duet. In: Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC), pp. 185\u2013198 (2002)","DOI":"10.1109\/CSAC.2002.1176290"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Jaiswal, S., Iannaccone, G., Kurose, J., Towlsey, D.: Formal Analysis of Passive Measurement Inference Techniques. In: Proceedings of IEEE Infocom 2006 (to appear, 2006)","DOI":"10.1109\/INFOCOM.2006.282"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Jurjens, J., Wimmel, G.: Formally Testing Fail-Safety of Electronic Purse Protocols. IEEE International Conference on Automated Software Engineering, 408 (2001)","DOI":"10.1109\/ASE.2001.989840"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. Proceedings of ICNP, 122\u2013131 (2002)","DOI":"10.1109\/ICNP.2002.1181393"},{"issue":"5","key":"23_CR11","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1109\/26.494307","volume":"44","author":"D. Lee","year":"1996","unstructured":"Lee, D., Sabnani, K.K., Kristol, D.M., Paul, S.: Conformance Testing of Protocols Specified as Communicating Finite State Machines - a Guided Random Walk Based Approach. IEEE Trans. on Communications\u00a044(5), 631\u2013640 (1996)","journal-title":"IEEE Trans. on Communications"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE, 1090\u20131123 (August 1996)","DOI":"10.1109\/5.533956"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Online minimization of transition systems. In: Proceedings of STOC, pp. 264\u2013274 (1992)","DOI":"10.1145\/129712.129738"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055. Springer, Heidelberg (1996)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Marick, B.: The Weak Mutation Hypothesis. In: Proceedings of The ACM SIGSOFT Symposium on. Testing, Analysis, and Verification (October 1991)","DOI":"10.1145\/120807.120825"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/JCS-1992-1102","volume":"1","author":"C. Meadows","year":"1992","unstructured":"Meadows, C.: Applying formal methods to the analysis of a key management protocol. J. Comput. Security\u00a01, 5\u201353 (1992)","journal-title":"J. Comput. Security"},{"issue":"1","key":"23_CR17","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/JSAC.2002.806125","volume":"21","author":"C. Meadows","year":"2003","unstructured":"Meadows, C.: Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications\u00a021(1), 44\u201354 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"issue":"12","key":"23_CR18","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. Needham","year":"1978","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Communications of the ACM\u00a021(12), 993\u2013999 (1978)","journal-title":"Communications of the ACM"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Schneider, S.: Security Properties and CSP. In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, p. 174 (1996)","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Sheyner, O., Haines, J., Jha, S., Lippmann, R., Wing, J.: Automated Generation and Analysis of Attack Graphs. IEEE Symposium on Security and Privacy (2002)","DOI":"10.1109\/SECPRI.2002.1004377"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Shu, G., Lee, D.: Network Protocol System Fingerprinting \u2013 A Formal Approach. In: Proceedings of IEEE Infocom 2006 (to appear, 2006)","DOI":"10.1109\/INFOCOM.2006.157"},{"issue":"1","key":"23_CR22","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MSP.2005.3","volume":"3","author":"H. Thompson","year":"2005","unstructured":"Thompson, H.: Application Penetration Testing. IEEE Security & Privacy\u00a03(1), 66\u201369 (2005)","journal-title":"IEEE Security & Privacy"},{"issue":"4","key":"23_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MSECP.2003.1219078","volume":"1","author":"H. Thompson","year":"2003","unstructured":"Thompson, H.: Why Security Testing Is Hard. IEEE Security and Privacy\u00a01(4), 83\u201386 (2003)","journal-title":"IEEE Security and Privacy"},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/3-540-36103-0_48","volume-title":"Formal Methods and Software Engineering","author":"G. Wimmel","year":"2002","unstructured":"Wimmel, G., J\u00fcrjens, J.: Specification-Based Test Generation for Security-Critical Systems Using Mutations. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 471\u2013482. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:04Z","timestamp":1619507044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11754008_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}