| 2008 |
| 11 | EE | Karl Krukow,
Mogens Nielsen,
Vladimiro Sassone:
A logical framework for history-based access control and reputation systems.
Journal of Computer Security 16(1): 63-101 (2008) |
| 2007 |
| 10 | EE | Mogens Nielsen,
Karl Krukow,
Vladimiro Sassone:
A Bayesian Model for Event-based Trust.
Electr. Notes Theor. Comput. Sci. 172: 499-521 (2007) |
| 9 | EE | Karl Krukow,
Mogens Nielsen:
Trust structures.
Int. J. Inf. Sec. 6(2-3): 153-181 (2007) |
| 8 | EE | Karl Krukow,
Andrew Twigg:
The complexity of fixed point models of trust in distributed networks.
Theor. Comput. Sci. 389(3): 528-549 (2007) |
| 2006 |
| 7 | EE | Vladimiro Sassone,
Karl Krukow,
Mogens Nielsen:
Towards a Formal Framework for Computational Trust.
FMCO 2006: 175-184 |
| 6 | EE | Karl Krukow,
Mogens Nielsen:
From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.
Formal Aspects in Security and Trust 2006: 96-111 |
| 2005 |
| 5 | EE | Karl Krukow,
Mogens Nielsen,
Vladimiro Sassone:
A framework for concrete reputation-systems with applications to history-based access control.
ACM Conference on Computer and Communications Security 2005: 260-269 |
| 4 | EE | Karl Krukow,
Andrew Twigg:
Distributed Approximation of Fixed-Points in Trust Structures.
ICDCS 2005: 805-814 |
| 3 | EE | Ciarán Bryce,
Nathan Dimmock,
Karl Krukow,
Jean-Marc Seigneur,
Vinny Cahill,
Waleed Wagealla:
Towards an Evaluation Methodology for Computational Trust Systems.
iTrust 2005: 289-304 |
| 2004 |
| 2 | EE | Mogens Nielsen,
Karl Krukow:
On the Formal Modelling of Trust in Reputation-Based Systems.
Theory Is Forever 2004: 192-204 |
| 2003 |
| 1 | EE | Mogens Nielsen,
Karl Krukow:
Towards a formal notion of trust.
PPDP 2003: 4-7 |