publications and online documents

I now have a blog - better late than never!

This is a list of documents I have been authoring or co-authoring. The most recent are listed first.

[inline abstracts, outline abstracts]

submitted

Currently none...

published

Karl Krukow.
- Towards a Theory of Trust for the Global Ubiquitous Computer.
- PhD Thesis, BRICS, University of Aarhus. August, 2006.
- [Abstract] (in new window)
- Keywords: [-]
- Download: [pdf]
Karl Krukow and Mogens Nielsen.
- From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.
- FAST 2006, To appear in Springer LNCS series, 2007.
- [Abstract] (in new window)
- Keywords: [Trust, Reputation, Kullback-Leibler Divergence, Probabilistic Models]
- Download: [pdf]
Karl Krukow, Mogens Nielsen and Vladimiro Sassone.
- A Logical Framework for Reputation Systems and History-based Access Control.
- Journal of Computer Security, 2008.
- [Abstract] (in new window)
- Keywords: [--]
- Download: [pdf]
- Also, take a look at JavaHBAC a policy-based framework for a history-based security manager for Java applications. This is a prototype framework for Java security managers, based on the theory in the above paper.
Karl Krukow.
- An Operational Semantics for Trust Policies.
- Accepted for the 6th International Workshop on Issues in the Theory of Security (WITS'06), co-located with ETAPS 2006, Vienna, Austria.
- [Abstract] (in new window)
- Keywords: [--]
- Download: [pdf ps]
Karl Krukow and Mogens Nielsen.
- Trust Structures: Denotational and Operational Semantics.
- Journal Version of BRICS-RS-05-30, in the International Journal of Information Security, Volume 6, Num 2, March 2007. Pages 153--181, Springer 2007
- [Abstract] (in new window)
- Keywords: [Trust management, Trust Structures, Trust Policies, Denotational and Operational Semantics]
- Download: [pdf]
Karl Krukow.
- An Operational Semantics for Trust Policies.
- BRICS Technical report, RS-05-30.
- [Abstract] (in new window)
- Keywords: [--]
- Download: [pdf]
Karl Krukow, Mogens Nielsen and Vladimiro Sassone.
- A Framework for Concrete Reputation-Systems
  with Applications to History-Based Access Control (Extended abstract).
- 12th ACM Conference on Computer and Communications Security (CCS'05), Hilton Alexandria Mark Center in Alexandria, VA, USA, Nov. 7-11, 2005. Pages 260--269, ACM.
- [Abstract] (in new window)
- Keywords: [--]
- Download: [pdf ps]
- Also, take a look at JavaHBAC a policy-based framework for a history-based security manager for Java applications. This is a prototype framework for Java security managers, based on the theory in the above paper.
Karl Krukow, Mogens Nielsen and Vladimiro Sassone.
- A Framework for Concrete Reputation-Systems.
- BRICS Technical Report, RS-05-23, July 2005, RS series.
Karl Krukow and Andrew Twigg,
- Distributed Approximation of Fixed-Points in Trust Structures.
- extended abstract of technical report RS-05-6 (2005)
- In Proceedings from the 25th ICDCS, 2005.
- [Abstract] (in new window)
- Keywords: [distributed algorithms, fixed points, trust, trust structures, approximation algorithms, dynamic algorithms]
- Download: [pdf ps]
Karl Krukow and Andrew Twigg,
- Distributed Approximation of Fixed-Points in Trust Structures.
- BRICS Technical Report, RS-05-6, February 2005, RS series.
- [Abstract] (in new window)
- Keywords: [distributed algorithms, fixed points, trust, trust structures, approximation algorithms, dynamic algorithms]
- Download: [pdf ps]
Mogens Nielsen and Karl Krukow.
- On the Formal Modelling of Trust in Reputation-Based Systems.
- in, editors J. Karhumäki, H. Maurer, G. Paun and G. Rozenberg, "Theory is Forever: Essays Dedicated to Arto Salomaa", Springer Lecture Notes in Computer Science, 3113, pp.192--204.
- [Abstract] (in new window)
- Keywords: [Trust, Risk, Reputation, Dempster-Shafer Theory of Evidence, Formal Models, Event Structures, Uncertain Probabilities]
- Download: [pdf ps dvi]
Vinny Cahill, et al.
- Using Trust for Secure Collaboration in Uncertain Environments.
- IEEE Pervasive Computing, vol.2, num 3, pp. 52-61. (2003).
- [Abstract] (in new window)
- Keywords: [Computer Security, Trust, Risk, Authentication]
- Download: [on IEEExplore]
Mogens Nielsen and Karl Krukow.
- Towards a Formal Notion of Trust.
- Proceedings of the 5th ACM SIGPLAN international conference on Principles and Practice of Declarative Programming (PPDP'03), ACM Press.
- [Abstract] (in new window)
- Keywords: [Trust, Trust Management Systems, Security, Languages, Theory]
- Download: [pdf ps dvi]

unpublished

Karl Krukow
- On Foundations for Dynamic Trust Management.
- PhD midway progress report (2004).
- [Abstract] (in new window)
- Keywords: [Trust, reputation, formal models, dynamic trust management, security, global computing, autonomous decision-making, SECURE project, trust structures, poset intervals, distributed fixed point algorithms, Dempster-Shafer theory of evidence, opinion model, subjective logic, event structures]
- Download: [pdf ps]