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 |