{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:16:29Z","timestamp":1740374189318,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144776"},{"type":"electronic","value":"9783642144783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14478-3_24","type":"book-chapter","created":{"date-parts":[[2010,7,23]],"date-time":"2010-07-23T16:56:16Z","timestamp":1279904176000},"page":"232-241","source":"Crossref","is-referenced-by-count":0,"title":["A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model"],"prefix":"10.1007","author":[{"given":"P.","family":"Bera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumya","family":"Maity","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. K.","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Basile, C., Lioy, A., Prez, G.M., Clemente, F.J.G., Skarmeta, A.F.G.: POSITIF: a policy-based security management system. In: 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), Bologna, Italy, p. 280 (June 2007)","DOI":"10.1109\/POLICY.2007.37"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Lapiotis, G., Kim, B., Das, S., Anjum, F.: A Policy-based Approach to Wireless LAN Security Management. In: International Workshop on Security and Privacy for Emerging Areas in Communication Networks, Athens, Greece, pp. 181\u2013189 (September 2005)","DOI":"10.1109\/SECCMW.2005.1588312"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Burns, J., Cheng, A., Gurung, P., Rajagopalan, S., Rao, P., Rosenbluth, D., Martin, D.: Automatic Mnagement of Network Security Policy. In: Proceedings of the 2nd DARPA Information Survivability Conference and Exposition (DISCEX II), Anaheim, California, pp. 12\u201326 (June 2001)","DOI":"10.1109\/DISCEX.2001.932156"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Yavatkar, R., Pendarakis, D., Guerin, R.: RFC 2753: A Framework for Policy-based Admission Control. Internet Society, 1\u201320 (January 2000)","DOI":"10.17487\/rfc2753"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Westrinen, A., Schnizlein, J., Strassner, J., Scherling, M., Quinn, B., Herzog, S., Carlson, M., Perry, J., Wldbusser, S.: RFC 3198: Terminology for Policy-Based Management. Internet Society, 1\u201321 (November 2001)","DOI":"10.17487\/rfc3198"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST standard for Role-Based Access Control. ACM Trnsactions on Information and Systems Security\u00a04(3) (August 2001)","DOI":"10.1145\/501978.501980"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"J.B.D. Joshi","year":"2005","unstructured":"Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: A Generalized Temporal Role-Based Access Control Model. IEEE Transactions on Knowledge and Data Engineering\u00a017(1), 4\u201323 (2005)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-73538-0_16","volume-title":"Data and Applications Security XXI","author":"I. Ray","year":"2007","unstructured":"Ray, I., Toahchoodee, M.: A Spatio-Temporal Role-Based Access Control Model. In: Barker, S., Ahn, G.-J. (eds.) Data and Applications Security 2007. LNCS, vol.\u00a04602, pp. 211\u2013226. Springer, Heidelberg (2007)"},{"issue":"6","key":"24_CR9","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1016\/j.cose.2006.05.007","volume":"25","author":"E. Tomur","year":"2006","unstructured":"Tomur, E., Erten, Y.M.: Application of Temporal and Spatial role based access control in 802.11 wireless networks. The Journal of Computers & Security\u00a025(6), 452\u2013458 (2006)","journal-title":"The Journal of Computers & Security"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2004.10.011","volume":"121","author":"R. Laborde","year":"2005","unstructured":"Laborde, R., Nasser, B., Grasset, F., Barrere, F., Benzekri, A.: A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC policies. Electronic Notes in Theoritical Computer Science\u00a0121, 117\u2013142 (2005)","journal-title":"Electronic Notes in Theoritical Computer Science"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-45841-7_15","volume-title":"STACS 2002","author":"T. Hofmeister","year":"2002","unstructured":"Hofmeister, T., Schoning, U., Schuler, R., Watanabe, O.: A Probabilistic 3-SAT Algorithm further improved. In: Alt, H., Ferreira, A. (eds.) STACS 2002. LNCS, vol.\u00a02285, pp. 192\u2013202. Springer, Heidelberg (2002)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/11527695_27","volume-title":"Theory and Applications of Satisfiability Testing","author":"Y. Mahajan","year":"2005","unstructured":"Mahajan, Y., Fu, Z., Malik, S.: Zchaff 2004: An efficient SAT solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 360\u2013375. Springer, Heidelberg (2005)"},{"key":"24_CR13","unstructured":"Dubois, O., Andre, P., Boufkhad, Y., Carlier, J.: SAT versus UNSAT, Second DIMACS challenge. In: Johnson, D.S., Trick, M.A. (eds.) (1993)"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1059524.1059541","volume-title":"Proceedings of 1st International Conference on Information Security Curriculum Development (InfoSecCD 2004)","author":"Bhagyavati","year":"2004","unstructured":"Bhagyavati, Summers, W.C., Dejoie, A.: Wireless security techniques: an overview. In: Proceedings of 1st International Conference on Information Security Curriculum Development (InfoSecCD 2004), Georgia, pp. 82\u201387. ACM Press, New York (2004)"},{"key":"24_CR15","first-page":"76","volume-title":"Proceedings of 4th ih International Conference on Information Systems, Technology and Management (ICISTM 2010)","author":"P. Bera","year":"2010","unstructured":"Bera, P., Dasgupta, P., Ghosh, S.K.: A Spatio-temporal Role-based Access Control Model for Wireless LAN Security Policy Management. In: Proceedings of 4th ih International Conference on Information Systems, Technology and Management (ICISTM 2010), Thiland, pp. 76\u201388. Springer, Heidelberg (2010)"}],"container-title":["Communications in Computer and Information Science","Recent Trends in Network Security and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14478-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T08:45:23Z","timestamp":1740300323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14478-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144776","9783642144783"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14478-3_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}