{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T22:10:35Z","timestamp":1736287835742,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540328322"},{"type":"electronic","value":"9783540328353"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11683704_8","type":"book-chapter","created":{"date-parts":[[2006,2,27]],"date-time":"2006-02-27T07:24:01Z","timestamp":1141025041000},"page":"92-103","source":"Crossref","is-referenced-by-count":3,"title":["Analysis and Run-Time Verification of Dynamic Security Policies"],"prefix":"10.1007","author":[{"given":"Helge","family":"Janicke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Siewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Thomas, E., Potok, A.S.L., Phillips, L., Pollock, R.: Suitability of agent technology or military command and control in the future combat system environment. In: Proceeding 8th ICCRTS, National Defence University (2003)"},{"key":"8_CR2","first-page":"78","volume":"28","author":"F. Sheldon","year":"2004","unstructured":"Sheldon, F., Potok, T., Kavi, K.: Multi-agent system case studies in command and control, information fusion and data management. Journal of Informatica\u00a028, 78\u201389 (2004)","journal-title":"Journal of Informatica"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bharadwajgc, R.: Secure middleware for situation-aware naval c2 and combat systems. In: Proceedings 9th International Workshop on Future Trends of Distributed Comput ing Systems, FTDCS 2003 (2003)","DOI":"10.1109\/FTDCS.2003.1204342"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Alberts, D.S.: Understanding information age warfare. CCRP publication series. DoD, US (2001)","DOI":"10.21236\/ADA386374"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia, S., Samarati, P., Subrahmanian, V.S., Bertino, E.: A unified framework for enforcing multiple access control policies. ACM Transaction on Database Systems\u00a026, 214\u2013260 (2001)","journal-title":"ACM Transaction on Database Systems"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151646.151647","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems \u00a015, 1\u201329 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Barker, S., Stuckey, P.J.: Flexible access control specification with constraint logic programming. ACM Transactions on Information & System Security\u00a06 (2003)","DOI":"10.1145\/950191.950194"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/501978.501979","volume":"4","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: Trbac: A temporal role-based access control model. ACM Trans. Inf. Syst. Secur.\u00a04, 191\u2013233 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0055342","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Cau","year":"1998","unstructured":"Cau, A., Czarnecki, C., Zedan, H.: Designing a provably correct robot control system using a \u2018Lean\u2019 formal method. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, pp. 123\u2013132. Springer, Heidelberg (1998)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: Proceedings of the ACM workshop on Formal Methods in Security Engineering: From Specifications to Code (2003)","DOI":"10.1145\/1035429.1035433"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Eckert, C.: Matching security to application needs. In: IFIP TC11 11th International Conference on Information Security, pp. 237\u2013254 (1995)","DOI":"10.1007\/978-0-387-34873-5_19"},{"key":"8_CR12","unstructured":"Moszkowski, B.: Some very compositional temporal properties. In: Olderog, E.R. (ed.) Programming Concepts, Methods and Calculi. IFIP Transactions, vol.\u00a0A-56, pp. 307\u2013326. IFIP, Elsevier Science B.V., North-Holland (1994)"},{"key":"8_CR13","unstructured":"Zedan, H., Cau, A., Zhou, S.: A calculus for evolution. In: Proc. of The Fifth International Conference on Computer Science and Informatics, CS&I 2000 (2000)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Woo, T.Y.C., Lam, S.S.: Authorization in distributed systems: A formal approach. In: Proceedings of the 13th IEEE Symposium on Research in security and Privacy, Oakland, California, May 4-6, pp. 33\u201350 (1992)","DOI":"10.1109\/RISP.1992.213272"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Brewer, D., Nash, M.: The Chinese Wall Policy. In: IEEE Symposium on Research in Security and Privacy, pp. 206\u2013214 (1989)","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"8_CR16","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"Moszkowski, B.: Executing Temporal Logic Programs. Cambridge University Press, England (1986)"},{"key":"8_CR17","unstructured":"Cau, A., Moszkowski, B., Zedan, H.: The ITL homepage (2005), http:\/\/www.cse.dmu.ac.uk\/~cau\/itlhomepage\/index.html"},{"key":"8_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent METATEM \u2013 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Defence Applications of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11683704_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:45:00Z","timestamp":1736286300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11683704_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540328322","9783540328353"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11683704_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}