Dynamics in Delegation and Revocation Schemes: A Logical Approach

  • Guillaume Aucher
  • Steve Barker
  • Guido Boella
  • Valerio Genovese
  • Leendert van der Torre
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6818)


In this paper we first introduce a logic for describing formally a family of delegation and revocation models that are based on the work in Hagström et al.. We then extend our logic to accommodate an epistemic interpretation of trust within the framework that we define. What emerges from this work is a rich framework of formally well-defined delegation and revocation schemes that accommodates an important trust component.


Multiagent System Propositional Logic Epistemic Logic Connectivity Property Negative Permission 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    FPDAM on Certificate Extensions. Final Proposed Draft Amendment on Certificate Extensions (V6), Collaborative ITU and ISO/IEC USA (April 1999)Google Scholar
  2. 2.
    Abadi, M.: Logic in access control. In: 18th IEEE Symposium on Logic in Computer Science (LICS), p. 228 (2003)Google Scholar
  3. 3.
    Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst. 15(4), 706–734 (1993)CrossRefGoogle Scholar
  4. 4.
    Aucher, G., Barker, S., Boella, G., Genovese, V., van der Torre, L.: Dynamics in delegation and revocation schemes: a logical approach, technical report (2011),
  5. 5.
    Boella, G., van der Torre, L.W.N.: Delegation of power in normative multiagent systems. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 36–52. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Clarke, D.E., Elien, J.-E., Ellison, C.M., Fredette, M., Morcos, A., Rivest, R.L.: Certificate chain discovery in SPKI/SDSI. J. Comp. Sec. 9(4), 285–322 (2001)Google Scholar
  7. 7.
    Demolombe, R.: Reasoning about trust: A formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 291–303. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Firozabadi, B.S., Sergot, M.J., Bandmann, O.L.: Using authority certificates to create management structures. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2001. LNCS, vol. 2467, pp. 134–145. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Hagström, Å., Jajodia, S., Parisi-Presicce, F., Wijesekera, D.: Revocations-a classification. In: Procs. of CSFW-14, pp. 44–58 (2001)Google Scholar
  10. 10.
    Herzig, A., Troquard, N.: The dynamic logic of propositional control. In: Procs. of LIS@ESSLLI2010, pp. 107–121 (2010)Google Scholar
  11. 11.
    Kuntze, N., Schmidt, A.U.: Transitive trust in mobile scenarios. In: Müller, G. (ed.) ETRICS 2006. LNCS, vol. 3995, pp. 73–85. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Li, N., Mitchell, J., Winsborough, W.: Design of a role-based trust-management framework. In: IEEE Symp. on Sec. and Privacy, pp. 114–130 (2002)Google Scholar
  13. 13.
    Norman, T.J., Reed, C.: A logic of delegation. Artif. Intell. 174(1), 51–71 (2010)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. J. Artif. Intell. Res. (JAIR) 37, 437–477 (2010)zbMATHGoogle Scholar
  15. 15.
    Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3.5. In: Schmidt, R.A. (ed.) CADE-22. LNCS, vol. 5663, pp. 140–145. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Wen, W., Mizoguchi, F.: An authorization-based trust model for multiagent systems. Applied Artif. Intell. 14(9), 909–925 (2000)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2011

Authors and Affiliations

  • Guillaume Aucher
    • 1
  • Steve Barker
    • 2
  • Guido Boella
    • 3
  • Valerio Genovese
    • 3
    • 4
  • Leendert van der Torre
    • 4
  1. 1.University of Rennes 1 - INRIAFrance
  2. 2.King’s College LondonUK
  3. 3.University of TorinoItaly
  4. 4.University of LuxembourgLuxembourg

Personalised recommendations