Karl Krukow

According to our database, Karl Krukow authored at least 14 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Transfer of trust in event-based reputation systems.

Mogens Nielsen, Karl Krukow

Theor. Comput. Sci., 2012

2009

An analysis of the exponential decay principle in probabilistic trust models.

Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone

Theor. Comput. Sci., 2009

2008

A logical framework for history-based access control and reputation systems.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

J. Comput. Secur., 2008

2007

The complexity of fixed point models of trust in distributed networks.

Karl Krukow, Andrew Twigg

Theor. Comput. Sci., 2007

Trust structures.

Karl Krukow, Mogens Nielsen

Int. J. Inf. Sec., 2007

A Bayesian Model for Event-based Trust.

Mogens Nielsen, Karl Krukow, Vladimiro Sassone

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2006

From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.

Karl Krukow, Mogens Nielsen

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Towards a Formal Framework for Computational Trust.

Vladimiro Sassone, Karl Krukow, Mogens Nielsen

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Towards an Evaluation Methodology for Computational Trust Systems.

Ciarán Bryce, Nathan Dimmock, Karl Krukow, Jean-Marc Seigneur, Vinny Cahill, Waleed Wagealla

Proceedings of the Trust Management, Third International Conference, 2005

Distributed Approximation of Fixed-Points in Trust Structures.

Karl Krukow, Andrew Twigg

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

A framework for concrete reputation-systems with applications to history-based access control.

Karl Krukow, Mogens Nielsen, Vladimiro Sassone

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

On the Formal Modelling of Trust in Reputation-Based Systems.

Mogens Nielsen, Karl Krukow

Proceedings of the Theory Is Forever, 2004

2003

Using Trust for Secure Collaboration in Uncertain Environments.

Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Damsgaard Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andrew Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna Di Marzo Serugendo, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen

IEEE Pervasive Comput., 2003

Towards a formal notion of trust.

Mogens Nielsen, Karl Krukow

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003