{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:10Z","timestamp":1725486310114},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000280"},{"type":"electronic","value":"9783540360872"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36087-5_18","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T18:17:16Z","timestamp":1180894636000},"page":"154-163","source":"Crossref","is-referenced-by-count":2,"title":["Specification and Verification of Security Policies in Firewalls"],"prefix":"10.1007","author":[{"given":"Rasool","family":"Jalili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Rezvani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Alur R. and Henzinger T.A. Computer-Aided Verification: An Introduction to Model Building and Model Checking for Concurrent Systems. Draft, 1999.","DOI":"10.1007\/BFb0028774"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Anderson J.P., Brand S., Gong L., and Haigh T. Firewall: An expert roundtable. IEEE Software, 14(5):60\u201366, September\/October 1997.","DOI":"10.1109\/52.605932"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bartal Y., Mayer A., Nissim K., and Wool A. Firmato: A novel firewall management toolkit. In Proceedings of the IEEE Symposium on Security and Privacy, pages 17\u201331, May 1999.","DOI":"10.1109\/SECPRI.1999.766714"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Cholvy L. and Cuppens F. Analyzing consistency of security policies. In Proceedings of the IEEE Symposium on Security and Privacy, pages 103\u2013112, May 1997.","DOI":"10.1109\/SECPRI.1997.601324"},{"key":"18_CR5","series-title":"Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3981-6","volume-title":"Proof Theory and Automated Deduction","author":"J. Goubault-Larrecq","year":"1997","unstructured":"Goubault-Larrecq J. and Mackie I. Proof Theory and Automated Deduction, volume 6 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht, 1997."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Guttman J.D. Filtering postures: Local enforcement for global policies. In Proceedings of the IEEE Symposium on Security and Privacy, pages 120\u2013129, Los Alamitos, 1997.","DOI":"10.1109\/SECPRI.1997.601327"},{"key":"18_CR7","unstructured":"Hoagland J. Specifying and Implementing Security Policy using LaSCO, the Language for Security Constraints on Objects. PhD thesis, The University of California Davis, Department of Computer Science, March 2000."},{"key":"18_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna Z. and Pnueli A. Temporal Verification of Reactive Systems: Safety. Springer-Verlang, New York, 1995."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Mayer A., Wool A., and Ziskin E. Fang: A firewall analysis engine. In Proceedings of the IEEE Symposium on Security and Privacy, pages 177\u2013190, May 2000.","DOI":"10.1109\/SECPRI.2000.848455"},{"key":"18_CR10","unstructured":"Ortalo R. Using deontic logic for security policy specification. Tech. Report 96380, LAAS-CNRS Toulouse, France, October 1996."},{"key":"18_CR11","unstructured":"Peri R.V. Specification and Verification of Security Policies. PhD thesis, The University of Virginia, School of Engineering and Applied Science, January 1996."},{"key":"18_CR12","unstructured":"Rezvani M. High Level Security Policy Specification in Firewalls. Master\u2019s thesis, Dept. of Computer Engineering, Sharif University of Technology, September 2001, In Persian."},{"key":"18_CR13","series-title":"Addison-Wesley Professional Computing Series","volume-title":"TCP\/IP Illustrated, Volume 1: The Protocols","author":"W.R. Stevens","year":"1994","unstructured":"Stevens W.R. TCP\/IP Illustrated, Volume 1: The Protocols. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading, MA, USA, 1994."},{"key":"18_CR14","volume-title":"NIST special publication Computer security 800-10","author":"J.P. Wack","year":"1994","unstructured":"Wack J.P. and Carnahan L.J. Keeping your site comfortably secure: An introduction to Internet firewalls. NIST special publication Computer security 800-10, U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, U.S. G.P.O., Gaithersburg, MD, USA, 1994."}],"container-title":["Lecture Notes in Computer Science","EurAsia-ICT 2002: Information and Communication Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36087-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:00:12Z","timestamp":1556456412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36087-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000280","9783540360872"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36087-5_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}