• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A Framework for Formal Reasoning about Distributed Webs of Trust

Fredrik Degerlund, Mats Neovius, Kaisa Sere, A Framework for Formal Reasoning about Distributed Webs of Trust. In: Olaf Owe Einar Broch Johnsen, Gerardo Schneider (Eds.), Proceedings of the 19th Nordic Workshop on Programming Theory, Universitetet i Oslo - Institutt for informatikk Research Report 366, 78-80, University of Oslo, 2007.

BibTeX entry:

@INPROCEEDINGS{inpDeNeSe07a,
  title = {A Framework for Formal Reasoning about Distributed Webs of Trust},
  booktitle = {Proceedings of the 19th Nordic Workshop on Programming Theory},
  author = {Degerlund, Fredrik and Neovius, Mats and Sere, Kaisa},
  volume = {366},
  series = {Universitetet i Oslo - Institutt for informatikk Research Report},
  editor = {Einar Broch Johnsen, Olaf Owe and Gerardo Schneider},
  publisher = {University of Oslo},
  pages = {78-80},
  year = {2007},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication