{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:40:07Z","timestamp":1775839207552,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705246","type":"print"},{"value":"9783540705253","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70525-3_6","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T08:17:57Z","timestamp":1215937077000},"page":"50-64","source":"Crossref","is-referenced-by-count":14,"title":["Trust and Norms in the Context of Computer Security: A Logical Formalization"],"prefix":"10.1007","author":[{"given":"Emiliano","family":"Lorini","sequence":"first","affiliation":[]},{"given":"Robert","family":"Demolombe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Handbook of Philosophical Logic","author":"L. \u00c5qvist","year":"2002","unstructured":"\u00c5qvist, L.: Deontic logic. In: Gabbay, D.M., Geunther, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"6_CR2","unstructured":"Bratman, M.: Intentions, plans, and practical reason. Harvard University Press (1987)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Carmo, J., Jones, A.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D. (ed.) Handbook of Philosphical Logic (Rev. Edition), Reidel (to appear)","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Proc. of the Third International Conference on Multiagent Systems (ICMAS 1998), pp. 72\u201379 (1998)","DOI":"10.1109\/ICMAS.1998.699034"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-3614-5","volume-title":"Trust and Deception in Virtual Societies","author":"C. Castelfranchi","year":"2001","unstructured":"Castelfranchi, C., Falcone, R.: Social trust: A cognitive approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55\u201390. Kluwer, Dordrecht (2001)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Demolombe, R.: A Deontic Logic for Reasoning about Confidentiality. In: Proc. of Third International Workshop on Deontic Logic in Computer Science (DEON 1996), pp. 72\u201379 (1996)","DOI":"10.1007\/978-1-4471-1488-8_4"},{"key":"6_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/11533092_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.: Inferring Trust. In: Leite, J.A., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 144\u2013160. Springer, Heidelberg (2005)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-24747-0_22","volume-title":"Trust Management","author":"R. Demolombe","year":"2004","unstructured":"Demolombe, R.: Reasoning about trust: a formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 291\u2013303. Springer, Heidelberg (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-94-017-3614-5_5","volume-title":"Trust and Deception in Virtual Societies","author":"R. Demolombe","year":"2001","unstructured":"Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, pp. 111\u2013124. Kluwer, Dordrecht (2001)"},{"key":"6_CR11","unstructured":"Demolombe, R., Liau, C.-J.: A logic of graded trust and belief fusion. In: Proc. of Fourth Workshop on Deception, Fraud and Trust in Agent Societies, pp. 13\u201325 (2001)"},{"key":"6_CR12","unstructured":"Demolombe, R., Lorini, E.: A logical account of trust in information sources. In: Proc. of the Eleventh International Workshop on Trust in Agent Societies (to appear)"},{"key":"6_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10458-005-6825-4","volume":"13","author":"T.G. Huynh","year":"2006","unstructured":"Huynh, T.G., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. Journal of Autonomous Agent and Multi-Agent Systems\u00a013, 119\u2013154 (2006)","journal-title":"Journal of Autonomous Agent and Multi-Agent Systems"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics\u00a04(3) (1996)","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"6_CR16","first-page":"55","volume-title":"Trust and Deception in Virtual Societies","author":"A.J.I. Jones","year":"2001","unstructured":"Jones, A.J.I., Firozabadi, B.S.: On the characterization of a trusting agent: Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55\u201390. Kluwer, Dordrecht (2001)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-48437-X_18","volume-title":"Multi-Agent System Engineering","author":"C.M. Jonker","year":"1999","unstructured":"Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 221\u2013231. Springer, Heidelberg (1999)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.J. Liau","year":"2003","unstructured":"Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence\u00a0149, 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese (to appear)","DOI":"10.1007\/s11229-008-9309-7"},{"key":"6_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11853886_24","volume-title":"Logics in Artificial Intelligence","author":"E. Lorini","year":"2006","unstructured":"Lorini, E., Herzig, A., Castelfranchi, C.: Introducing attempt in a modal logic of intentional action. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 280\u2013292. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J.-J.C. Meyer","year":"1999","unstructured":"Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence\u00a0113(1-2), 1\u201340 (1999)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70525-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T10:23:54Z","timestamp":1551522234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70525-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705246","9783540705253"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70525-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}