text:
@comment{x-kbibtex-personnameformatting=<%l><, %f>}

@inproceedings{Chothia2005,
	__markedentry = "[giuseppe:6]",
	author = "Chothia, Tom and Duggan, Dominic",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Formal Aspects in Security and Trust}",
	crossref = "DBLP:conf/ifip1-7/2005",
	ee = "http://dx.doi.org/10.1007/11679219_15",
	owner = "giuseppe",
	pages = "203--216",
	timestamp = "2014.02.06",
	title = "{Type-Based Distributed Access Control vs. Untyped Attackers}",
	year = "2005"
}

@inproceedings{Christianson1996,
	__markedentry = "[giuseppe:6]",
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/1996",
	ee = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	owner = "giuseppe",
	pages = "171--176",
	timestamp = "2014.02.06",
	title = "{Why Isn't Trust Transitive?}",
	year = "1996"
}

@inproceedings{Christianson96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/1996",
	ee = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	pages = "171--176",
	title = "{Why Isn't Trust Transitive?}",
	year = "1996"
}

@inproceedings{Clarke2009,
	__markedentry = "[giuseppe:6]",
	author = "Clarke, Stephen and Christianson, Bruce and Xiao, Hannan",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/2009",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2_21",
	owner = "giuseppe",
	pages = "171--178",
	timestamp = "2014.02.06",
	title = "{Trust*: Using Local Guarantees to Extend the Reach of Trust}",
	year = "2009"
}

@inproceedings{ClarkeCX09,
	author = "Clarke, Stephen and Christianson, Bruce and Xiao, Hannan",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/2009",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2_21",
	pages = "171--178",
	title = "{Trust*: Using Local Guarantees to Extend the Reach of Trust}",
	year = "2009"
}

@inproceedings{Josang2005,
	__markedentry = "[giuseppe:6]",
	author = "J{\o}sang, Audun and Pope, Simon",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	crossref = "DBLP:conf/apccm/2005",
	ee = "http://crpit.com/confpapers/CRPITV43Josang.pdf",
	owner = "giuseppe",
	pages = "59--68",
	timestamp = "2014.02.06",
	title = "{Semantic Constraints for Trust Transitivity}",
	year = "2005"
}

@inproceedings{Lin1993,
	__markedentry = "[giuseppe:6]",
	author = "Lin, T. Y.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	crossref = "DBLP:conf/nspw/1993",
	ee = "http://doi.acm.org/10.1145/283751.283789",
	owner = "giuseppe",
	pages = "82--93",
	timestamp = "2014.02.06",
	title = {{Bell and LaPadula axioms: a "new" paradigm for an "old" model}},
	year = "1993"
}

@inproceedings{lin1993,
	author = "Lin, T. Y.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	crossref = "DBLP:conf/nspw/1993",
	ee = "http://doi.acm.org/10.1145/283751.283789",
	pages = "82--93",
	title = {{Bell and {L}a{P}adula axioms: a "new" paradigm for an "old" model}},
	year = "1993"
}

@inproceedings{DBLP:conf/pst/BoenderPR15,
	author = "Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/BoenderPR15",
	booktitle = "{13th Annual Conference on Privacy, Security and Trust, {PST} 2015, Izmir, Turkey, July 21-23, 2015}",
	crossref = "DBLP:conf/pst/2015",
	doi = "10.1109/PST.2015.7232973",
	pages = "191--198",
	timestamp = "Tue, 08 Sep 2015 08:09:09 +0200",
	title = "{Minimizing transitive trust threats in software management systems}",
	url = "http://dx.doi.org/10.1109/PST.2015.7232973",
	year = "2015"
}

@inproceedings{DBLP:conf/ifiptm/Primiero16,
	author = "Primiero, Giuseppe",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ifiptm/Primiero16",
	booktitle = "{Trust Management {X} - 10th {IFIP} {WG} 11.11 International Conference, {IFIPTM} 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings}",
	crossref = "DBLP:conf/ifiptm/2016",
	doi = "10.1007/978-3-319-41354-9_15",
	pages = "183--190",
	timestamp = "Wed, 20 Jul 2016 15:36:51 +0200",
	title = "{A Calculus for Distrust and Mistrust}",
	url = "http://dx.doi.org/10.1007/978-3-319-41354-9_15",
	year = "2016"
}

@inproceedings{DBLP:conf/concur/SassoneHY10,
	author = "Sassone, Vladimiro and Hamadou, Sardaouna and Yang, Mu",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/concur/SassoneHY10",
	booktitle = "{{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}",
	crossref = "DBLP:conf/concur/2010",
	doi = "10.1007/978-3-642-15375-4_5",
	pages = "48--70",
	timestamp = "Thu, 26 Aug 2010 16:46:17 +0200",
	title = "{Trust in Anonymity Networks}",
	url = "http://dx.doi.org/10.1007/978-3-642-15375-4_5",
	year = "2010"
}

@inproceedings{DBLP:conf/concur/SassoneHY10,
	author = "Sassone, Vladimiro and Hamadou, Sardaouna and Yang, Mu",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/concur/SassoneHY10",
	booktitle = "{{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}",
	crossref = "DBLP:conf/concur/2010",
	doi = "10.1007/978-3-642-15375-4_5",
	pages = "48--70",
	timestamp = "Thu, 26 Aug 2010 16:46:17 +0200",
	title = "{Trust in Anonymity Networks}",
	url = "http://dx.doi.org/10.1007/978-3-642-15375-4_5",
	year = "2010"
}

@inproceedings{primiero_secureND,
	author = "Primiero, Giuseppe and Raimondi, Franco",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/PrimieroR14",
	booktitle = "{2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014}",
	crossref = "DBLP:conf/pst/2014",
	doi = "10.1109/PST.2014.6890963",
	pages = "379--382",
	timestamp = "Fri, 19 Sep 2014 10:21:41 +0200",
	title = "{A typed natural deduction calculus to reason about secure trust}",
	url = "http://dx.doi.org/10.1109/PST.2014.6890963",
	year = "2014"
}

@inproceedings{DBLP:conf/hicss/McKnightKC03,
	author = "McKnight, D. Harrison and Kacmar, Chuck and Choudhury, Vivek",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/hicss/McKnightKC03",
	booktitle = "{36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}",
	crossref = "DBLP:conf/hicss/2003",
	doi = "10.1109/HICSS.2003.1174393",
	pages = "182",
	timestamp = "Wed, 23 Jul 2014 20:34:21 +0200",
	title = "{Whoops...Did {I} Use the Wrong Concept to Predict E-Commerce Trust? Modeling the Risk-Related Effects of Trust versus Distrust Concepts}",
	url = "http://dx.doi.org/10.1109/HICSS.2003.1174393",
	year = "2003"
}

@inproceedings{DBLP:conf/hicss/McKnightKC03,
	author = "McKnight, D. Harrison and Kacmar, Chuck and Choudhury, Vivek",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/hicss/McKnightKC03",
	booktitle = "{36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}",
	crossref = "DBLP:conf/hicss/2003",
	doi = "10.1109/HICSS.2003.1174393",
	pages = "182",
	timestamp = "Wed, 23 Jul 2014 20:34:21 +0200",
	title = "{Whoops...Did {I} Use the Wrong Concept to Predict E-Commerce Trust? Modeling the Risk-Related Effects of Trust versus Distrust Concepts}",
	url = "http://dx.doi.org/10.1109/HICSS.2003.1174393",
	year = "2003"
}

@inproceedings{DBLP:conf/agents/McKnightC00,
	author = "McKnight, D. Harrison and Chervany, Norman L.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/agents/McKnightC00",
	booktitle = "{Trust in Cyber-societies, Integrating the Human and Artificial Perspectives}",
	crossref = "DBLP:conf/agents/2000t",
	doi = "10.1007/3-540-45547-7_3",
	pages = "27--54",
	timestamp = "Tue, 28 Jun 2011 15:14:25 +0200",
	title = "{Trust and Distrust Definitions: One Bite at a Time}",
	url = "http://dx.doi.org/10.1007/3-540-45547-7_3",
	year = "2000"
}

@inproceedings{DBLP:conf/agents/McKnightC00,
	author = "McKnight, D. Harrison and Chervany, Norman L.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/agents/McKnightC00",
	booktitle = "{Trust in Cyber-societies, Integrating the Human and Artificial Perspectives [based on a workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference in Barcelona, Spain in June 2000]}",
	crossref = "DBLP:conf/agents/2000t",
	doi = "10.1007/3-540-45547-7_3",
	pages = "27--54",
	timestamp = "Tue, 28 Jun 2011 15:14:25 +0200",
	title = "{Trust and Distrust Definitions: One Bite at a Time}",
	url = "http://dx.doi.org/10.1007/3-540-45547-7_3",
	year = "2000"
}

@inproceedings{DBLP:conf/agents/McKnightC00,
	author = "McKnight, D. Harrison and Chervany, Norman L.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/agents/McKnightC00",
	booktitle = "{Trust in Cyber-societies, Integrating the Human and Artificial Perspectives}",
	crossref = "DBLP:conf/agents/2000t",
	doi = "10.1007/3-540-45547-7_3",
	pages = "27--54",
	timestamp = "Tue, 28 Jun 2011 15:14:25 +0200",
	title = "{Trust and Distrust Definitions: One Bite at a Time}",
	url = "http://dx.doi.org/10.1007/3-540-45547-7_3",
	year = "2000"
}

@inproceedings{DBLP:conf/agents/McKnightC00,
	author = "McKnight, D. Harrison and Chervany, Norman L.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/agents/McKnightC00",
	booktitle = "{Trust in Cyber-societies, Integrating the Human and Artificial Perspectives [based on a workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference in Barcelona, Spain in June 2000]}",
	crossref = "DBLP:conf/agents/2000t",
	doi = "10.1007/3-540-45547-7_3",
	pages = "27--54",
	timestamp = "Tue, 28 Jun 2011 15:14:25 +0200",
	title = "{Trust and Distrust Definitions: One Bite at a Time}",
	url = "http://dx.doi.org/10.1007/3-540-45547-7_3",
	year = "2000"
}

@inproceedings{lin1993,
	author = "Lin, T. Y.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	crossref = "DBLP:conf/nspw/1993",
	ee = "http://doi.acm.org/10.1145/283751.283789",
	pages = "82--93",
	title = {{Bell and LaPadula axioms: a "new" paradigm for an "old" model}},
	year = "1993"
}

@inproceedings{lin1993,
	author = "Lin, T. Y.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	crossref = "DBLP:conf/nspw/1993",
	ee = "http://doi.acm.org/10.1145/283751.283789",
	pages = "82--93",
	title = {{Bell and LaPadula axioms: a "new" paradigm for an "old" model}},
	year = "1993"
}

@inproceedings{DBLP:conf/apccm/JosangP05,
	author = "J{\o}sang, Audun and Pope, Simon",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	crossref = "DBLP:conf/apccm/2005",
	ee = "http://crpit.com/confpapers/CRPITV43Josang.pdf",
	pages = "59--68",
	title = "{Semantic Constraints for Trust Transitivity}",
	year = "2005"
}

@inproceedings{DBLP:conf/apccm/JosangP05,
	author = "J{\o}sang, Audun and Pope, Simon",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	crossref = "DBLP:conf/apccm/2005",
	ee = "http://crpit.com/confpapers/CRPITV43Josang.pdf",
	pages = "59--68",
	title = "{Semantic Constraints for Trust Transitivity}",
	year = "2005"
}

@inproceedings{DBLP:conf/www/GuhaKRT04,
	author = "Guha, Ramanathan V. and Kumar, Ravi and Raghavan, Prabhakar and Tomkins, Andrew",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/www/GuhaKRT04",
	booktitle = "{Proceedings of the 13th international conference on World Wide Web, {WWW} 2004, New York, NY, USA, May 17-20, 2004}",
	crossref = "DBLP:conf/www/2004",
	doi = "10.1145/988672.988727",
	pages = "403--412",
	timestamp = "Sun, 10 Sep 2006 13:09:15 +0200",
	title = "{Propagation of trust and distrust}",
	url = "http://doi.acm.org/10.1145/988672.988727",
	year = "2004"
}

@inproceedings{DBLP:conf/www/GuhaKRT04,
	author = "Guha, Ramanathan V. and Kumar, Ravi and Raghavan, Prabhakar and Tomkins, Andrew",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/www/GuhaKRT04",
	booktitle = "{Proceedings of the 13th international conference on World Wide Web, {WWW} 2004, New York, NY, USA, May 17-20, 2004}",
	crossref = "DBLP:conf/www/2004",
	doi = "10.1145/988672.988727",
	pages = "403--412",
	timestamp = "Sun, 10 Sep 2006 13:09:15 +0200",
	title = "{Propagation of trust and distrust}",
	url = "http://doi.acm.org/10.1145/988672.988727",
	year = "2004"
}

@inproceedings{ClarkeCX09,
	author = "Clarke, Stephen and Christianson, Bruce and Xiao, Hannan",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/2009",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2_21",
	pages = "171--178",
	title = "{Trust*: Using Local Guarantees to Extend the Reach of Trust}",
	year = "2009"
}

@inproceedings{ClarkeCX09,
	author = "Clarke, Stephen and Christianson, Bruce and Xiao, Hannan",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	crossref = "DBLP:conf/spw/2009",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2_21",
	pages = "171--178",
	title = "{Trust*: Using Local Guarantees to Extend the Reach of Trust}",
	year = "2009"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/spw/ChristiansonH96,
	author = "Christianson, Bruce and Harbison, William S.",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/ChristiansonH96",
	booktitle = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	crossref = "DBLP:conf/spw/1996",
	doi = "10.1007/3-540-62494-5_16",
	pages = "171--176",
	timestamp = "Mon, 27 Jun 2011 15:26:26 +0200",
	title = "{Why Isn't Trust Transitive?}",
	url = "http://dx.doi.org/10.1007/3-540-62494-5_16",
	year = "1996"
}

@inproceedings{DBLP:conf/ifip1-7/ChothiaD05,
	author = "Chothia, Tom and Duggan, Dominic",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Formal Aspects in Security and Trust}",
	crossref = "DBLP:conf/ifip1-7/2005",
	ee = "http://dx.doi.org/10.1007/11679219_15",
	pages = "203--216",
	title = "{Type-Based Distributed Access Control vs. Untyped Attackers}",
	year = "2005"
}

@inproceedings{DBLP:conf/ifip1-7/ChothiaD05,
	author = "Chothia, Tom and Duggan, Dominic",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Formal Aspects in Security and Trust}",
	crossref = "DBLP:conf/ifip1-7/2005",
	ee = "http://dx.doi.org/10.1007/11679219_15",
	pages = "203--216",
	title = "{Type-Based Distributed Access Control vs. Untyped Attackers}",
	year = "2005"
}

@inproceedings{DBLP:conf/pst/BoenderPR15,
	author = "Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/BoenderPR15",
	booktitle = "{13th Annual Conference on Privacy, Security and Trust, {PST} 2015, Izmir, Turkey, July 21-23, 2015}",
	crossref = "DBLP:conf/pst/2015",
	doi = "10.1109/PST.2015.7232973",
	pages = "191--198",
	timestamp = "Tue, 08 Sep 2015 08:09:09 +0200",
	title = "{Minimizing transitive trust threats in software management systems}",
	url = "http://dx.doi.org/10.1109/PST.2015.7232973",
	year = "2015"
}

@inproceedings{DBLP:conf/pst/BoenderPR15,
	author = "Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/BoenderPR15",
	booktitle = "{13th Annual Conference on Privacy, Security and Trust, {PST} 2015, Izmir, Turkey, July 21-23, 2015}",
	crossref = "DBLP:conf/pst/2015",
	doi = "10.1109/PST.2015.7232973",
	pages = "191--198",
	timestamp = "Tue, 08 Sep 2015 08:09:09 +0200",
	title = "{Minimizing transitive trust threats in software management systems}",
	url = "http://dx.doi.org/10.1109/PST.2015.7232973",
	year = "2015"
}

@inproceedings{DBLP:conf/spw/BackesM09,
	author = "Backes, Michael and Maffei, Matteo",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/BackesM09",
	booktitle = "{Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers}",
	crossref = "DBLP:conf/spw/2009",
	doi = "10.1007/978-3-642-36213-2_17",
	pages = "143--148",
	timestamp = "Fri, 02 Jan 2015 14:47:11 +0100",
	title = "{Design and Verification of Anonymous Trust Protocols}",
	url = "http://dx.doi.org/10.1007/978-3-642-36213-2_17",
	year = "2009"
}

@inproceedings{DBLP:conf/spw/BackesM09,
	author = "Backes, Michael and Maffei, Matteo",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/BackesM09",
	booktitle = "{Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers}",
	crossref = "DBLP:conf/spw/2009",
	doi = "10.1007/978-3-642-36213-2_17",
	pages = "143--148",
	timestamp = "Fri, 02 Jan 2015 14:47:11 +0100",
	title = "{Design and Verification of Anonymous Trust Protocols}",
	url = "http://dx.doi.org/10.1007/978-3-642-36213-2_17",
	year = "2009"
}

@inproceedings{DBLP:conf/nspw/Abdul-RahmanH97,
	author = "Abdul{-}Rahman, Alfarez and Hailes, Stephen",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/nspw/Abdul-RahmanH97",
	booktitle = "{Proceedings of the 1997 Workshop on New Security Paradigms, Langdale, Cumbria, United Kingdom, September 23-26, 1997}",
	crossref = "DBLP:conf/nspw/1997",
	doi = "10.1145/283699.283739",
	pages = "48--60",
	timestamp = "Mon, 11 Apr 2016 08:45:43 +0200",
	title = "{A distributed trust model}",
	url = "http://doi.acm.org/10.1145/283699.283739",
	year = "1997"
}

@inproceedings{DBLP:conf/nspw/Abdul-RahmanH97,
	author = "Abdul{-}Rahman, Alfarez and Hailes, Stephen",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/nspw/Abdul-RahmanH97",
	booktitle = "{Proceedings of the 1997 Workshop on New Security Paradigms, Langdale, Cumbria, United Kingdom, September 23-26, 1997}",
	crossref = "DBLP:conf/nspw/1997",
	doi = "10.1145/283699.283739",
	pages = "48--60",
	timestamp = "Mon, 11 Apr 2016 08:45:43 +0200",
	title = "{A distributed trust model}",
	url = "http://doi.acm.org/10.1145/283699.283739",
	year = "1997"
}

@inproceedings{DBLP:conf/apccm/JosangP05,
	author = "J{\o}sang, Audun and Pope, Simon",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	crossref = "DBLP:conf/apccm/2005",
	ee = "http://crpit.com/confpapers/CRPITV43Josang.pdf",
	pages = "59--68",
	title = "{Semantic Constraints for Trust Transitivity}",
	year = "2005"
}

@inproceedings{conf/infocom/RayaPGH08,
	added-at = "2009-03-20T00:00:00.000+0100",
	author = "Raya, Maxim and Papadimitratos, Panagiotis and Gligor, Virgil D. and Hubaux, Jean-Pierre",
	biburl = "http://www.bibsonomy.org/bibtex/24f32e22843889534c4c95d8987acf88c/dblp",
	booktitle = "{INFOCOM}",
	FIXMEcrossref = "conf/infocom/2008",
	ee = "http://dx.doi.org/10.1109/INFOCOM.2008.180",
	interhash = "7ba5228e8c685c37af7de4a9b7ddffa0",
	intrahash = "4f32e22843889534c4c95d8987acf88c",
	isbn = "978-1-4244-2026-1",
	keywords = "dblp",
	pages = "1238--1246",
	publisher = "IEEE",
	timestamp = "2015-06-18T16:42:32.000+0200",
	title = "{On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks.}",
	url = "http://dblp.uni-trier.de/db/conf/infocom/infocom2008.html#RayaPGH08",
	year = 2008
}

@inproceedings{DBLP:conf/vtc/KonurF11,
	author = "Konur, Savas and Fisher, Michael",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp2.uni-trier.de/rec/bib/conf/vtc/KonurF11",
	booktitle = "{Proceedings of the 73rd {IEEE} Vehicular Technology Conference, {VTC} Spring 2011, 15-18 May 2011, Budapest, Hungary}",
	crossref = "DBLP:conf/vtc/2011s",
	doi = "10.1109/VETECS.2011.5956327",
	pages = "1--5",
	timestamp = "Mon, 12 Sep 2011 15:42:15 +0200",
	title = "{Formal Analysis of a {VANET} Congestion Control Protocol through Probabilistic Verification}",
	url = "http://dx.doi.org/10.1109/VETECS.2011.5956327",
	year = "2011"
}

@inproceedings{DBLP:conf/vtc/WexBHLD08,
	author = "Wex, Philipp and Breuer, Jochen and Held, Albert and Leinm{\"u}ller, Tim and Delgrossi, Luca",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/vtc/WexBHLD08",
	booktitle = "{Proceedings of the 67th {IEEE} Vehicular Technology Conference, {VTC} Spring 2008, 11-14 May 2008, Singapore}",
	crossref = "DBLP:conf/vtc/2008s",
	doi = "10.1109/VETECS.2008.611",
	pages = "2800--2804",
	timestamp = "Sun, 16 Nov 2008 09:25:49 +0100",
	title = "{Trust Issues for Vehicular Ad Hoc Networks}",
	url = "http://dx.doi.org/10.1109/VETECS.2008.611",
	year = "2008"
}

@inproceedings{DBLP:conf/um/FinnsonZTMC12,
	author = "Finnson, John and Zhang, Jie and Tran, Thomas T. and Minhas, Umar Farooq and Cohen, Robin",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/um/FinnsonZTMC12",
	booktitle = "{User Modeling, Adaptation, and Personalization - 20th International Conference, {UMAP} 2012, Montreal, Canada, July 16-20, 2012. Proceedings}",
	crossref = "DBLP:conf/um/2012",
	doi = "10.1007/978-3-642-31454-4_7",
	pages = "76--87",
	timestamp = "Thu, 10 Apr 2014 15:45:14 +0200",
	title = "{A Framework for Modeling Trustworthiness of Users in Mobile Vehicular Ad-Hoc Networks and Its Validation through Simulated Traffic Flow}",
	url = "http://dx.doi.org/10.1007/978-3-642-31454-4_7",
	year = "2012"
}

% This file was created with JabRef 2.10b2.
% Encoding: UTF-8

@article{DBLP:journals/tse/AliGA13,
	author = "Ali, Nasir and Gu{\'e}h{\'e}neuc, Yann-Ga{\"e}l and Antoniol, Giuliano",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://doi.ieeecomputersociety.org/10.1109/TSE.2012.71",
	journal = "IEEE Trans. Software Eng.",
	number = "5",
	pages = "725--741",
	title = "{Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links}",
	volume = "39",
	year = "2013"
}

@techreport{Bell1973,
	__markedentry = "[giuseppe:6]",
	address = "Bedford, MA",
	author = "Bell, D. E. and LaPadula, L. J.",
	institution = "MITRE Corp.",
	number = "MTR-2547, Vol. 1",
	owner = "giuseppe",
	timestamp = "2014.02.06",
	title = "{Secure Computer Systems: Mathematical Foundations}",
	year = "1973"
}

@techreport{BLPM,
	address = "Bedford, MA",
	author = "Bell, D. E. and LaPadula, L. J.",
	institution = "MITRE Corp.",
	number = "MTR-2547, Vol. 1",
	title = "{Secure Computer Systems: Mathematical Foundations}",
	year = "1973"
}

@article{Borisavljevic1999,
	__markedentry = "[giuseppe:6]",
	added-at = "2011-07-01T00:00:00.000+0200",
	author = "Borisavljevic, Mirjana",
	biburl = "http://www.bibsonomy.org/bibtex/2ea58317bd5177c1f9953b036f71d514a/dblp",
	ee = "http://dx.doi.org/10.1016/S0168-0072(98)00062-1",
	interhash = "941f87378410e72eacd6e1d291b4d936",
	intrahash = "ea58317bd5177c1f9953b036f71d514a",
	journal = "Ann. Pure Appl. Logic",
	keywords = "dblp",
	number = "1-3",
	owner = "giuseppe",
	pages = "105--136",
	timestamp = "2011-07-01T00:00:00.000+0200",
	title = "{A Cut-Elimination Proof in Intuitionistic Predicate Logic.}",
	url = "http://dblp.uni-trier.de/db/journals/apal/apal99.html#Borisavljevic99",
	volume = "99",
	year = "1999"
}

@article{Borisavljevic99,
	added-at = "2011-07-01T00:00:00.000+0200",
	author = "Borisavljevic, Mirjana",
	biburl = "http://www.bibsonomy.org/bibtex/2ea58317bd5177c1f9953b036f71d514a/dblp",
	ee = "http://dx.doi.org/10.1016/S0168-0072(98)00062-1",
	interhash = "941f87378410e72eacd6e1d291b4d936",
	intrahash = "ea58317bd5177c1f9953b036f71d514a",
	journal = "Ann. Pure Appl. Logic",
	keywords = "dblp",
	number = "1-3",
	pages = "105--136",
	timestamp = "2011-07-01T00:00:00.000+0200",
	title = "{A Cut-Elimination Proof in Intuitionistic Predicate Logic.}",
	url = "http://dblp.uni-trier.de/db/journals/apal/apal99.html#Borisavljevic99",
	volume = "99",
	year = "1999"
}

@inproceedings{Bugiel:2011,
	acmid = "2046587",
	address = "New York, NY, USA",
	author = "Bugiel, Sven and Davi, Lucas Vincenco and Schulz, Steffen",
	booktitle = "{Proceedings of the Sixth ACM Workshop on Scalable Trusted Computing}",
	doi = "10.1145/2046582.2046587",
	isbn = "978-1-4503-1001-7",
	keywords = "reputation; software security",
	location = "Chicago, Illinois, USA",
	numpages = "10",
	pages = "15--24",
	publisher = "ACM",
	series = "{STC '11}",
	title = "{Scalable Trust Establishment with Software Reputation}",
	url = "http://doi.acm.org/10.1145/2046582.2046587",
	year = "2011"
}

@inproceedings{eps262294,
	abstract = "We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the same time a trust and an information partial order.",
	author = "Carbone, M. and Nielsen, M. and Sassone, V.",
	booktitle = "{Int. Conference on Software Engineering and Formal Methods, SEFM 2003.}",
	editor = "Cerone, A. and Lindsay, P.",
	journal = "Proceedings of Int. Conf. on Software Engineering and Formal Methods, SEFM 2003",
	keywords = "trust in distributed systems; formal models; trust structures; partial orders; interval orders",
	note = "A preliminary version appears as Technical Report BRICS RS-03-4, Aarhus University",
	pages = "54--61",
	publisher = "IEEE Computer Society",
	title = "{A Formal Model for Trust in Dynamic Networks}",
	url = "http://eprints.soton.ac.uk/262294/",
	year = "2003"
}

ce:title>2nd International Conference on Communication, Computing &amp; Security [ICCCS-2012]</ce:title>",

number = "0",

owner = "giuseppe",

pages = "534--539",

timestamp = "2014.02.06",

title = "{Designing Trust Propagation Algorithms based on Simple Multiplicative Strategy for Social Networks}",

url = "http://www.sciencedirect.com/science/article/pii/S2212017312006093",

volume = "6",

year = "2012"
}

@inproceedings{as-trust2011,
	author = "Chang, J. and Venkatasubramanian, K. and West, A. and Kannan, S. and Loo, B. and Sokolsky, O. and {\& Lee}, I.",
	booktitle = "{Trust and Trustworthy Computing: 4th International Conference, TRUST 2011}",
	doi = "10.1007/978-3-642-21599-5_20",
	owner = "giuseppe",
	pages = "262--276",
	publisher = "Springer Berlin / Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "2014.02.06",
	title = "{AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP}",
	volume = "6740",
	year = "2011"
}

@article{christianson13,
	author = "Christianson, Bruce",
	doi = "10.1007/s13347-013-0128-5",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Counterfactual reasoning; Doxastic logic; Intensional properties; Privacy; Security; Trust",
	language = "English",
	number = "4",
	owner = "giuseppe",
	pages = "411--429",
	publisher = "Springer Netherlands",
	timestamp = "2013.11.27",
	title = "{Living in an Impossible World: Real-izing the Consequences of Intransitive Trust}",
	url = "http://dx.doi.org/10.1007/s13347-013-0128-5",
	volume = "26",
	year = "2013"
}

@article{Christianson2013,
	__markedentry = "[giuseppe:6]",
	author = "Christianson, Bruce",
	doi = "10.1007/s13347-013-0128-5",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Counterfactual reasoning; Doxastic logic; Intensional properties; Privacy; Security; Trust",
	language = "English",
	number = "4",
	owner = "giuseppe",
	pages = "411--429",
	publisher = "Springer Netherlands",
	timestamp = "2013.11.27",
	title = "{Living in an Impossible World: Real-izing the Consequences of Intransitive Trust}",
	url = "http://dx.doi.org/10.1007/s13347-013-0128-5",
	volume = "26",
	year = "2013"
}

@phdthesis{Clarke2009a,
	__markedentry = "[giuseppe:6]",
	author = "Clarke, Stephen William",
	owner = "giuseppe",
	school = "School of Computer Science, University of Hertfordshire",
	timestamp = "2013.12.18",
	title = "{Trust$^{*}$: Extending the Reach of Trust in Distributed Systems}",
	year = "2009"
}

@article{CH:calc,
	author = "Coquand, Thierry and Huet, Gerard",
	journal = "Information and Computation",
	number = "2--3",
	owner = "giuseppe",
	pages = "95--120",
	special = "Special Issue Semantics of Data Types",
	timestamp = "2014.02.06",
	title = "{The Calculus of Constructions}",
	volume = "76",
	year = "1988"
}

@book{Curry1958,
	__markedentry = "[giuseppe:6]",
	author = "Curry, H. B. and Feys, R.",
	note = "Second printing 1968",
	owner = "giuseppe",
	pages = "xvi+417",
	publisher = "North-Holland",
	timestamp = "2013.01.28",
	title = "{Combinatory Logic, Volume I}",
	year = "1958"
}

@article{Geach1955,
	__markedentry = "[giuseppe:6]",
	author = "Geach, P. T.",
	journal = "Analysis",
	number = "3",
	owner = "giuseppe",
	pages = "71--72",
	timestamp = "2013.11.27",
	title = "{On insolubilia}",
	volume = "15",
	year = "1955"
}

@article{geach55,
	author = "Geach, P. T.",
	journal = "Analysis",
	number = "3",
	owner = "giuseppe",
	pages = "71--72",
	timestamp = "2013.11.27",
	title = "{On insolubilia}",
	volume = "15",
	year = "1955"
}

@article{girard2003,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://www.math.ucla.edu/$\sim$asl/bsl/0902/0902-002.ps",
	journal = "Bulletin of Symbolic Logic",
	number = "2",
	pages = "131--168",
	title = "{From foundations to ludics}",
	volume = "9",
	year = "2003"
}

@article{Girard2003,
	__markedentry = "[giuseppe:6]",
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://www.math.ucla.edu/$\sim$asl/bsl/0902/0902-002.ps",
	journal = "Bulletin of Symbolic Logic",
	number = "2",
	owner = "giuseppe",
	pages = "131--168",
	timestamp = "2014.02.06",
	title = "{From foundations to ludics}",
	volume = "9",
	year = "2003"
}

@article{Girard1987,
	__markedentry = "[giuseppe:6]",
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
	journal = "Theor. Comput. Sci.",
	owner = "giuseppe",
	pages = "1--102",
	timestamp = "2013.11.27",
	title = "{Linear Logic}",
	volume = "50",
	year = "1987"
}

@article{girard87,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
	journal = "Theor. Comput. Sci.",
	owner = "giuseppe",
	pages = "1--102",
	timestamp = "2013.11.27",
	title = "{Linear Logic}",
	volume = "50",
	year = "1987"
}

@inproceedings{Goguen1982,
	__markedentry = "[giuseppe:6]",
	author = "Goguen, Joseph A. and Meseguer, Jos{\'e}",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{IEEE Symposium on Security and Privacy}",
	owner = "giuseppe",
	pages = "11--20",
	timestamp = "2014.02.06",
	title = "{Security Policies and Security Models}",
	year = "1982"
}

@article{5340804,
	author = "Grandison, T. and Sloman, M.",
	doi = "10.1109/COMST.2000.5340804",
	issn = "1553-877X",
	journal = "Communications Surveys Tutorials, IEEE",
	keywords = "Authorization; Business; Decision making; Electronic commerce; Electronic mail; Information security; Internet; Mobile computing; Risk management; Telecommunication computing",
	month = "Fourth",
	number = "4",
	pages = "2--16",
	title = "{A survey of trust in internet applications}",
	volume = "3",
	year = "2000"
}

@inproceedings{Guha2004,
	__markedentry = "[giuseppe:6]",
	acmid = "988727",
	address = "New York, NY, USA",
	author = "Guha, R. and Kumar, Ravi and Raghavan, Prabhakar and Tomkins, Andrew",
	booktitle = "{Proceedings of the 13th International Conference on World Wide Web}",
	doi = "10.1145/988672.988727",
	isbn = "1-58113-844-X",
	keywords = "distrust; trust propagation; web of trust",
	location = "New York, NY, USA",
	numpages = "10",
	owner = "giuseppe",
	pages = "403--412",
	publisher = "ACM",
	series = "{WWW '04}",
	timestamp = "2014.02.06",
	title = "{Propagation of Trust and Distrust}",
	url = "http://doi.acm.org/10.1145/988672.988727",
	year = "2004"
}

@incollection{Howard1980,
	__markedentry = "[giuseppe:6]",
	author = "Howard, W.",
	booktitle = "{To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}",
	editor = "Seldin, J. and Hindley, J.",
	owner = "giuseppe",
	pages = "479--490",
	publisher = "Academic Press",
	timestamp = "2013.01.28",
	title = "{The Formulae-as-Types Notion of Construction}",
	year = "1980"
}

@incollection{Marsh2005,
	__markedentry = "[giuseppe:6]",
	author = "Marsh, Stephen and Dibben, MarkR.",
	booktitle = "{Trust Management}",
	doi = "10.1007/11429760_2",
	editor = "Herrmann, Peter and Issarny, Val{\'e}rie and Shiu, Simon",
	isbn = "978-3-540-26042-4",
	owner = "giuseppe",
	pages = "17--33",
	publisher = "Springer Berlin Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "2014.02.06",
	title = "{Trust, Untrust, Distrust and Mistrust -- An Exploration of the Dark(er) Side}",
	url = "http://dx.doi.org/10.1007/11429760_2",
	volume = "3477",
	year = "2005"
}

@book{ML:inttt,
	address = "Napoli",
	author = "Martin-L{\"o}f, P.",
	owner = "giuseppe",
	publisher = "Bibliopolis",
	series = "{Studies in Proof Theory: Lecture Notes}",
	timestamp = "2014.02.05",
	title = "{Intuitionistic Type Theory}",
	volume = "1",
	year = "1984"
}

@techreport{Mcknight1996,
	__markedentry = "[giuseppe:6]",
	author = "Mcknight, D. Harrison and Chervany, Norman L.",
	institution = "MISRC Working Paper Series 96-04, University of Minnesota, Management Information Systems Reseach Center",
	owner = "giuseppe",
	timestamp = "2014.02.06",
	title = "{The Meanings of Trust}",
	year = "1996"
}

@techreport{mcknight96,
	author = "Mcknight, D. Harrison and Chervany, Norman L.",
	institution = "MISRC Working Paper Series 96-04, University of Minnesota, Management Information Systems Reseach Center",
	owner = "giuseppe",
	timestamp = "2014.01.27",
	title = "{The Meanings of Trust}",
	year = "1996"
}

@article{primiero_trust,
	author = "Primiero, Giuseppe",
	doi = "10.1007/s13347-013-0116-9",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Trust; Systems design; Software engineering",
	language = "English",
	pages = "1--5",
	publisher = "Springer Netherlands",
	title = "{Honesty, Competence, and Trust for Systems Design}",
	url = "http://dx.doi.org/10.1007/s13347-013-0116-9",
	year = "2013"
}

@article{Primiero2013,
	__markedentry = "[giuseppe:6]",
	author = "Primiero, Giuseppe",
	doi = "10.1007/s13347-013-0116-9",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Trust; Systems design; Software engineering",
	language = "English",
	owner = "giuseppe",
	pages = "1--5",
	publisher = "Springer Netherlands",
	timestamp = "2014.02.06",
	title = "{Honesty, Competence, and Trust for Systems Design}",
	url = "http://dx.doi.org/10.1007/s13347-013-0116-9",
	year = "2013"
}

@article{primierotopoi13,
	author = "Primiero, Giuseppe and Kosoloski, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	journal = "Topoi",
	owner = "gprimiero",
	quality = "1",
	timestamp = "2013.12.01",
	title = "{The semantics of untrustworthiness}",
	volume = "DOI:10.1007/s11245-013-9227-2",
	year = "2013"
}

@article{Primiero2013a,
	__markedentry = "[giuseppe:6]",
	author = "Primiero, Giuseppe and Kosolosky, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	journal = "Topoi",
	owner = "gprimiero",
	quality = "1",
	timestamp = "2013.12.01",
	title = "{The semantics of untrustworthiness}",
	volume = "DOI:10.1007/s11245-013-9227-2",
	year = "2013"
}

@techreport{primiero_secureND_techrep,
	author = "Primiero, Giuseppe and Raimondi, Franco",
	institution = "Foundations of Computing Group, Department of Computer Science, Middlesex University",
	owner = "gprimiero",
	quality = "1",
	timestamp = "2013.12.03",
	title = "{A typed natural deduction calculus to reason about secure messaging with trust}",
	year = "2013"
}

@techreport{Primiero2013b,
	__markedentry = "[giuseppe:6]",
	author = "Primiero, Giuseppe and Raimondi, Franco",
	institution = "Foundations of Computing Group, Department of Computer Science, Middlesex University",
	owner = "gprimiero",
	quality = "1",
	timestamp = "2013.12.03",
	title = "{A typed natural deduction calculus to reason about secure messaging with trust}",
	year = "2013"
}

@book{troelstra2000,
	address = "New York, NY, USA",
	author = "Troelstra, A. S. and Schwichtenberg, H.",
	isbn = "0-521-77911-1",
	publisher = "Cambridge University Press",
	title = "{Basic Proof Theory (2Nd Ed.)}",
	year = "2000"
}

@book{Troelstra2000,
	__markedentry = "[giuseppe:6]",
	address = "New York, NY, USA",
	author = "Troelstra, A. S. and Schwichtenberg, H.",
	isbn = "0-521-77911-1",
	owner = "giuseppe",
	publisher = "Cambridge University Press",
	timestamp = "2014.02.06",
	title = "{Basic Proof Theory (2Nd Ed.)}",
	year = "2000"
}

@inproceedings{4222580,
	author = "Tucker, C. and Shuffelton, D. and Jhala, R. and Lerner, S.",
	booktitle = "{Software Engineering, 2007. ICSE 2007. 29th International Conference on}",
	doi = "10.1109/ICSE.2007.59",
	issn = "0270-5257",
	keywords = "Linux; configuration management; software packages; Linux distributions; Opium; Optimal Package Install/Uninstall Manager; dynamic software linking; integer linear programming solvers; package dependencies; package management tools; pseudo-boolean solvers; Application software; Bandwidth; Economic forecasting; Environmental economics; Integer linear programming; Joining processes; Linux; Packaging machines; Software libraries; Software packages",
	pages = "178--188",
	title = "{OPIUM: Optimal Package Install/Uninstall Manager}",
	year = "2007"
}

@article{weir13,
	author = "Weir, Alan",
	doi = "10.1007/s11245-013-9176-9",
	issn = "0167-7411",
	journal = "Topoi",
	keywords = "Non-transitive entailment; Naive truth theory; Naive set theory; Contraction; Classical recapture",
	language = "English",
	pages = "1--9",
	publisher = "Springer Netherlands",
	title = "{A Robust Non-transitive Logic}",
	url = "http://dx.doi.org/10.1007/s11245-013-9176-9",
	year = "2013"
}

@article{Weir2013,
	__markedentry = "[giuseppe:6]",
	author = "Weir, Alan",
	doi = "10.1007/s11245-013-9176-9",
	issn = "0167-7411",
	journal = "Topoi",
	keywords = "Non-transitive entailment; Naive truth theory; Naive set theory; Contraction; Classical recapture",
	language = "English",
	owner = "giuseppe",
	pages = "1--9",
	publisher = "Springer Netherlands",
	timestamp = "2014.02.06",
	title = "{A Robust Non-transitive Logic}",
	url = "http://dx.doi.org/10.1007/s11245-013-9176-9",
	year = "2013"
}

@article{journals/tdsc/YanP11,
	added-at = "2011-11-17T00:00:00.000+0100",
	author = "Yan, Zheng and Prehofer, Christian",
	biburl = "http://www.bibsonomy.org/bibtex/298bd9fc7b5497f900d75b8f665ca529f/dblp",
	ee = "http://doi.ieeecomputersociety.org/10.1109/TDSC.2010.47",
	interhash = "eb0fc4018eff59d3090477a20adcc143",
	intrahash = "98bd9fc7b5497f900d75b8f665ca529f",
	journal = "IEEE Trans. Dependable Sec. Comput.",
	keywords = "dblp",
	number = "6",
	pages = "810--823",
	timestamp = "2011-11-17T00:00:00.000+0100",
	title = "{Autonomic Trust Management for a Component-Based Software System.}",
	url = "http://dblp.uni-trier.de/db/journals/tdsc/tdsc8.html#YanP11",
	volume = "8",
	year = "2011"
}

@incollection{zeller13,
	author = "Zeller, Andreas",
	booktitle = "{Perspectives on the Future of Software Engineering}",
	doi = "10.1007/978-3-642-37395-4_14",
	editor = "M{\"u}nch, J{\"u}rgen and Schmid, Klaus",
	isbn = "978-3-642-37394-7",
	language = "English",
	pages = "209--215",
	publisher = "Springer Berlin Heidelberg",
	title = "{Can We Trust Software Repositories?}",
	url = "http://dx.doi.org/10.1007/978-3-642-37395-4_14",
	year = "2013"
}

@article{Ziegler2005,
	__markedentry = "[giuseppe:6]",
	acmid = "1108466",
	address = "Hingham, MA, USA",
	author = "Ziegler, Cai-Nicolas and Lausen, Georg",
	doi = "10.1007/s10796-005-4807-3",
	issn = "1387-3326",
	issue_date = "December 2005",
	journal = "Information Systems Frontiers",
	keywords = "balance theory; semantic web; spreading activation models; trust; trust propagation; web of trust",
	month = dec,
	number = "4-5",
	numpages = "22",
	owner = "giuseppe",
	pages = "337--358",
	publisher = "Kluwer Academic Publishers",
	timestamp = "2014.02.06",
	title = "{Propagation Models for Trust and Distrust in Social Networks}",
	url = "http://dx.doi.org/10.1007/s10796-005-4807-3",
	volume = "7",
	year = "2005"
}

@proceedings{Christianson2013a,
	__markedentry = "[giuseppe:6]",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Christianson, Bruce and Malcolm, James A. and Matyas, Vashek and Roe, Michael",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2",
	isbn = "978-3-642-36212-5, 978-3-642-36213-2",
	owner = "giuseppe",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "2014.02.06",
	title = "{Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers}",
	volume = "7028",
	year = "2013"
}

@proceedings{DBLP:conf/spw/2009,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Christianson, Bruce and Malcolm, James A. and Matyas, Vashek and Roe, Michael",
	ee = "http://dx.doi.org/10.1007/978-3-642-36213-2",
	isbn = "978-3-642-36212-5, 978-3-642-36213-2",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	title = "{Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers}",
	volume = "7028",
	year = "2013"
}

@proceedings{Dimitrakos2006,
	__markedentry = "[giuseppe:6]",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Formal Aspects in Security and Trust}",
	editor = "Dimitrakos, Theodosis and Martinelli, Fabio and Ryan, Peter Y. A. and Schneider, Steve A.",
	isbn = "3-540-32628-6",
	owner = "giuseppe",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "2014.02.06",
	title = "{Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers}",
	volume = "3866",
	year = "2006"
}

@proceedings{DBLP:conf/apccm/2005,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	editor = "Hartmann, Sven and Stumptner, Markus",
	isbn = "1-920682-25-2",
	publisher = "Australian Computer Society",
	series = "{CRPIT}",
	title = "{Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005}",
	volume = "43",
	year = "2005"
}

@proceedings{Hartmann2005,
	__markedentry = "[giuseppe:6]",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	editor = "Hartmann, Sven and Stumptner, Markus",
	isbn = "1-920682-25-2",
	owner = "giuseppe",
	publisher = "Australian Computer Society",
	series = "{CRPIT}",
	timestamp = "2014.02.06",
	title = "{Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005}",
	volume = "43",
	year = "2005"
}

@proceedings{DBLP:conf/spw/1996,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@proceedings{Lomas1997,
	__markedentry = "[giuseppe:6]",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	owner = "giuseppe",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "2014.02.06",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@proceedings{DBLP:conf/nspw/1993,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	editor = "Michael, James Bret and Ashby, Victoria and Meadows, Catherine",
	isbn = "0-8186-5430-9",
	publisher = "ACM",
	title = "{Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA}",
	year = "1993"
}

@proceedings{Michael1993,
	__markedentry = "[giuseppe:6]",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	editor = "Michael, James Bret and Ashby, Victoria and Meadows, Catherine",
	isbn = "0-8186-5430-9",
	owner = "giuseppe",
	publisher = "ACM",
	timestamp = "2014.02.06",
	title = "{Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA}",
	year = "1993"
}

wner                    = {giuseppe},

Timestamp                = {2014.02.06}
}

@proceedings{DBLP:conf/pst/2015,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/2015",
	editor = "Ghorbani, Ali A. and Torra, Vicen\c{c} and Hisil, H{\"u}seyin and Miri, Ali and Koltuksuz, Ahmet and Zhang, Jie and Sensoy, Murat and Garc{\'i}a{-}Alfaro, Joaqu{\'i}n and Zincir, Ibrahim",
	isbn = "978-1-4673-7828-4",
	publisher = "{IEEE}",
	timestamp = "Tue, 08 Sep 2015 08:09:09 +0200",
	title = "{13th Annual Conference on Privacy, Security and Trust, {PST} 2015, Izmir, Turkey, July 21-23, 2015}",
	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7193739",
	year = "2015"
}

@proceedings{DBLP:conf/ifiptm/2016,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ifiptm/2016",
	doi = "10.1007/978-3-319-41354-9",
	editor = "Habib, Sheikh Mahbub and Vassileva, Julita and Mauw, Sjouke and M{\"u}hlh{\"a}user, Max",
	isbn = "978-3-319-41353-2",
	publisher = "Springer",
	series = "{{IFIP} Advances in Information and Communication Technology}",
	timestamp = "Wed, 20 Jul 2016 15:28:43 +0200",
	title = "{Trust Management {X} - 10th {IFIP} {WG} 11.11 International Conference, {IFIPTM} 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings}",
	url = "http://dx.doi.org/10.1007/978-3-319-41354-9",
	volume = "473",
	year = "2016"
}

@article{Ziegler:2005:PMT:1108451.1108466,
	acmid = "1108466",
	address = "Hingham, MA, USA",
	author = "Ziegler, Cai-Nicolas and Lausen, Georg",
	doi = "10.1007/s10796-005-4807-3",
	issn = "1387-3326",
	issue_date = "December 2005",
	journal = "Information Systems Frontiers",
	keywords = "balance theory; semantic web; spreading activation models; trust; trust propagation; web of trust",
	month = dec,
	number = "4-5",
	numpages = "22",
	pages = "337--358",
	publisher = "Kluwer Academic Publishers",
	title = "{Propagation Models for Trust and Distrust in Social Networks}",
	url = "http://dx.doi.org/10.1007/s10796-005-4807-3",
	volume = "7",
	year = "2005"
}

@article{Ziegler:2005:PMT:1108451.1108466,
	acmid = "1108466",
	address = "Hingham, MA, USA",
	author = "Ziegler, Cai-Nicolas and Lausen, Georg",
	doi = "10.1007/s10796-005-4807-3",
	issn = "1387-3326",
	issue_date = "December 2005",
	journal = "Information Systems Frontiers",
	keywords = "balance theory; semantic web; spreading activation models; trust; trust propagation; web of trust",
	month = dec,
	number = "4-5",
	numpages = "22",
	pages = "337--358",
	publisher = "Kluwer Academic Publishers",
	title = "{Propagation Models for Trust and Distrust in Social Networks}",
	url = "http://dx.doi.org/10.1007/s10796-005-4807-3",
	volume = "7",
	year = "2005"
}

@inproceedings{ziegler04:_appleseed,
	added-at = "2005-12-20T12:56:14.000+0100",
	address = "Taipei, Taiwan",
	author = "Ziegler, C.-N. and Lausen, G.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	biburl = "http://www.bibsonomy.org/bibtex/250fa54dfff3d7fe9a90e2a60ba15a474/diederich",
	booktitle = "{Proc. IEEE International Conference on e-technology, e-commerce, and e-service (EEE)}",
	ee = "http://doi.acm.org/10.1145/860451",
	interhash = "d1b96fa27d3119debc661805d4e21e4b",
	intrahash = "50fa54dfff3d7fe9a90e2a60ba15a474",
	keywords = "imported",
	month = "March",
	note = "Best paper award for EEE2004",
	pages = "83--97",
	timestamp = "2005-12-20T12:56:14.000+0100",
	title = "{Spreading Activation Models for Trust Propagation}",
	year = "2004"
}

@inproceedings{ziegler04:_appleseed,
	added-at = "2005-12-20T12:56:14.000+0100",
	address = "Taipei, Taiwan",
	author = "Ziegler, C.-N. and Lausen, G.",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	biburl = "http://www.bibsonomy.org/bibtex/250fa54dfff3d7fe9a90e2a60ba15a474/diederich",
	booktitle = "{Proc. IEEE International Conference on e-technology, e-commerce, and e-service (EEE)}",
	ee = "http://doi.acm.org/10.1145/860451",
	interhash = "d1b96fa27d3119debc661805d4e21e4b",
	intrahash = "50fa54dfff3d7fe9a90e2a60ba15a474",
	keywords = "imported",
	month = "March",
	note = "Best paper award for EEE2004",
	pages = "83--97",
	timestamp = "2005-12-20T12:56:14.000+0100",
	title = "{Spreading Activation Models for Trust Propagation}",
	year = "2004"
}

@article{weir13,
	author = "Weir, Alan",
	doi = "10.1007/s11245-013-9176-9",
	issn = "0167-7411",
	journal = "Topoi",
	keywords = "Non-transitive entailment; Naive truth theory; Naive set theory; Contraction; Classical recapture",
	language = "English",
	pages = "1--9",
	publisher = "Springer Netherlands",
	title = "{A Robust Non-transitive Logic}",
	url = "http://dx.doi.org/10.1007/s11245-013-9176-9",
	year = "2013"
}

@article{weir13,
	author = "Weir, Alan",
	doi = "10.1007/s11245-013-9176-9",
	issn = "0167-7411",
	journal = "Topoi",
	keywords = "Non-transitive entailment; Naive truth theory; Naive set theory; Contraction; Classical recapture",
	language = "English",
	pages = "1--9",
	publisher = "Springer Netherlands",
	title = "{A Robust Non-transitive Logic}",
	url = "http://dx.doi.org/10.1007/s11245-013-9176-9",
	year = "2013"
}

@article{vanEijck:2007:EVA:1224821.1225245,
	acmid = "1225245",
	address = "Amsterdam, The Netherlands, The Netherlands",
	author = "van Eijck, Jan and Orzan, Simona",
	doi = "10.1016/j.entcs.2006.08.026",
	issn = "1571-0661",
	issue_date = "February, 2007",
	journal = "Electron. Notes Theor. Comput. Sci.",
	keywords = "anonymity; dynamic epistemic modeling; protocol verification",
	month = feb,
	numpages = "16",
	pages = "159--174",
	publisher = "Elsevier Science Publishers B. V.",
	title = "{Epistemic Verification of Anonymity}",
	url = "http://dx.doi.org/10.1016/j.entcs.2006.08.026",
	volume = "168",
	year = "2007"
}

@article{vanEijck:2007:EVA:1224821.1225245,
	acmid = "1225245",
	address = "Amsterdam, The Netherlands, The Netherlands",
	author = "van Eijck, Jan and Orzan, Simona",
	doi = "10.1016/j.entcs.2006.08.026",
	issn = "1571-0661",
	issue_date = "February, 2007",
	journal = "Electron. Notes Theor. Comput. Sci.",
	keywords = "anonymity; dynamic epistemic modeling; protocol verification",
	month = feb,
	numpages = "16",
	pages = "159--174",
	publisher = "Elsevier Science Publishers B. V.",
	title = "{Epistemic Verification of Anonymity}",
	url = "http://dx.doi.org/10.1016/j.entcs.2006.08.026",
	volume = "168",
	year = "2007"
}

@book{troelstra2000,
	address = "New York, NY, USA",
	author = "Troelstra, A. S. and Schwichtenberg, H.",
	isbn = "0-521-77911-1",
	publisher = "Cambridge University Press",
	title = "{Basic Proof Theory (2Nd Ed.)}",
	year = "2000"
}

@book{troelstra2000,
	address = "New York, NY, USA",
	author = "Troelstra, A. S. and Schwichtenberg, H.",
	isbn = "0-521-77911-1",
	publisher = "Cambridge University Press",
	title = "{Basic Proof Theory (2Nd Ed.)}",
	year = "2000"
}

@article{taddeo2010,
	author = "Taddeo, R.",
	journal = "Minds and Machines",
	number = "2",
	owner = "giuseppe",
	pages = "243--257",
	timestamp = "2015.02.09",
	title = "{Modelling trust in artificial agents, a first step toward the analysis of e-trust}",
	volume = "20",
	year = "2010"
}

@article{taddeo2010,
	author = "Taddeo, R.",
	journal = "Minds and Machines",
	number = "2",
	owner = "giuseppe",
	pages = "243--257",
	timestamp = "2015.02.09",
	title = "{Modelling trust in artificial agents, a first step toward the analysis of e-trust}",
	volume = "20",
	year = "2010"
}

@book{sztompka99,
	author = "Sztompka, Piotr",
	owner = "giuseppe",
	publisher = "Cambridge University press",
	timestamp = "2015.02.10",
	title = "{Trust: a sociological theory}",
	year = "1999"
}

@book{sztompka99,
	author = "Sztompka, Piotr",
	owner = "giuseppe",
	publisher = "Cambridge University press",
	timestamp = "2015.02.10",
	title = "{Trust: a sociological theory}",
	year = "1999"
}

@article{DBLP:dblp_journals/japll/PrimieroT12,
	author = "Primiero, Giuseppe and Taddeo, Mariarosaria",
	ee = "http://dx.doi.org/10.1016/j.jal.2011.12.002",
	journal = "J. Applied Logic",
	pages = "92--114",
	title = "{A modal type theory for formalizing trusted communications.}",
	year = "2012"
}

@article{DBLP:dblp_journals/japll/PrimieroT12,
	author = "Primiero, Giuseppe and Taddeo, Mariarosaria",
	ee = "http://dx.doi.org/10.1016/j.jal.2011.12.002",
	journal = "J. Applied Logic",
	pages = "92--114",
	title = "{A modal type theory for formalizing trusted communications.}",
	year = "2012"
}

@article{primierotopoi13,
	author = "Primiero, Giuseppe and Kosolosky, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	journal = "Topoi",
	number = "35/1",
	owner = "gprimiero",
	pages = "253--266",
	quality = "1",
	timestamp = "2013.12.01",
	title = "{The semantics of untrustworthiness}",
	volume = "DOI:10.1007/s11245-013-9227-2",
	year = "2016"
}

@article{Primiero2013,
	abstract = "We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.",
	author = "Primiero, Giuseppe and Kosolosky, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	issn = "1572-8749",
	journal = "Topoi",
	number = "1",
	pages = "253--266",
	title = "{The Semantics of Untrustworthiness}",
	url = "http://dx.doi.org/10.1007/s11245-013-9227-2",
	volume = "35",
	year = "2013"
}

@article{primierotopoi13,
	author = "Primiero, Giuseppe and Kosolosky, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	journal = "Topoi",
	number = "35/1",
	owner = "gprimiero",
	pages = "253--266",
	quality = "1",
	timestamp = "2013.12.01",
	title = "{The semantics of untrustworthiness}",
	volume = "DOI:10.1007/s11245-013-9227-2",
	year = "2016"
}

@article{Primiero2013,
	abstract = "We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.",
	author = "Primiero, Giuseppe and Kosolosky, Laszlo",
	doi = "10.1007/s11245-013-9227-2",
	issn = "1572-8749",
	journal = "Topoi",
	number = "1",
	pages = "253--266",
	title = "{The Semantics of Untrustworthiness}",
	url = "http://dx.doi.org/10.1007/s11245-013-9227-2",
	volume = "35",
	year = "2013"
}

@article{primiero_trust,
	author = "Primiero, Giuseppe",
	doi = "10.1007/s13347-013-0116-9",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Trust; Systems design; Software engineering",
	language = "English",
	pages = "1--5",
	publisher = "Springer Netherlands",
	title = "{Honesty, Competence, and Trust for Systems Design}",
	url = "http://dx.doi.org/10.1007/s13347-013-0116-9",
	year = "2013"
}

@article{primiero_trust,
	author = "Primiero, Giuseppe",
	doi = "10.1007/s13347-013-0116-9",
	issn = "2210-5433",
	journal = "Philosophy \& Technology",
	keywords = "Trust; Systems design; Software engineering",
	language = "English",
	pages = "1--5",
	publisher = "Springer Netherlands",
	title = "{Honesty, Competence, and Trust for Systems Design}",
	url = "http://dx.doi.org/10.1007/s13347-013-0116-9",
	year = "2013"
}

@article{primieroECDI,
	author = "Primiero, G.",
	journal = "Logique et Analyse",
	owner = "giuseppe",
	pages = "391--416",
	timestamp = "2015.02.10",
	title = "{An epistemic coonstructive definition of information}",
	volume = "200",
	year = "2007"
}

@article{primieroECDI,
	author = "Primiero, G.",
	journal = "Logique et Analyse",
	owner = "giuseppe",
	pages = "391--416",
	timestamp = "2015.02.10",
	title = "{An epistemic coonstructive definition of information}",
	volume = "200",
	year = "2007"
}

@proceedings{DBLP:conf/pst/2014,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/2014",
	editor = "Miri, Ali and Hengartner, Urs and Huang, Nen{-}Fu and J{\o}sang, Audun and Garc{\'i}a{-}Alfaro, Joaqu{\'i}n",
	isbn = "978-1-4799-3502-4",
	publisher = "{IEEE}",
	timestamp = "Fri, 19 Sep 2014 10:21:41 +0200",
	title = "{2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014}",
	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6883276",
	year = "2014"
}

@proceedings{DBLP:conf/nspw/1993,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	editor = "Michael, James Bret and Ashby, Victoria and Meadows, Catherine",
	isbn = "0-8186-5430-9",
	publisher = "ACM",
	title = "{Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA}",
	year = "1993"
}

@proceedings{DBLP:conf/nspw/1993,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{NSPW}",
	editor = "Michael, James Bret and Ashby, Victoria and Meadows, Catherine",
	isbn = "0-8186-5430-9",
	publisher = "ACM",
	title = "{Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA}",
	year = "1993"
}

@techreport{mcknight96,
	author = "Mcknight, D. Harrison and Chervany, Norman L.",
	institution = "MISRC Working Paper Series 96-04, University of Minnesota, Management Information Systems Reseach Center",
	title = "{The Meanings of Trust}",
	year = "1996"
}

@techreport{mcknight96,
	author = "Mcknight, D. Harrison and Chervany, Norman L.",
	institution = "MISRC Working Paper Series 96-04, University of Minnesota, Management Information Systems Reseach Center",
	title = "{The Meanings of Trust}",
	year = "1996"
}

@incollection{marsh05,
	author = "Marsh, Stephen and Dibben, MarkR.",
	booktitle = "{Trust Management}",
	doi = "10.1007/11429760_2",
	editor = "Herrmann, Peter and Issarny, Val{\'e}rie and Shiu, Simon",
	isbn = "978-3-540-26042-4",
	pages = "17--33",
	publisher = "Springer Berlin Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	title = "{Trust, Untrust, Distrust and Mistrust -- An Exploration of the Dark(er) Side}",
	url = "http://dx.doi.org/10.1007/11429760_2",
	volume = "3477",
	year = "2005"
}

@incollection{marsh05,
	author = "Marsh, Stephen and Dibben, MarkR.",
	booktitle = "{Trust Management}",
	doi = "10.1007/11429760_2",
	editor = "Herrmann, Peter and Issarny, Val{\'e}rie and Shiu, Simon",
	isbn = "978-3-540-26042-4",
	pages = "17--33",
	publisher = "Springer Berlin Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	title = "{Trust, Untrust, Distrust and Mistrust -- An Exploration of the Dark(er) Side}",
	url = "http://dx.doi.org/10.1007/11429760_2",
	volume = "3477",
	year = "2005"
}

@article{journals/tpds/LuHLHHNM08,
	added-at = "2009-03-26T00:00:00.000+0100",
	author = "Lu, Li and Han, Jinsong and Liu, Yunhao and Hu, Lei and Huai, Jin-Peng and Ni, Lionel M. and Ma, Jian",
	biburl = "http://www.bibsonomy.org/bibtex/232b4e1633be9de5985e7b0c001169b14/dblp",
	date = "2009-03-26",
	description = "dblp",
	ee = "http://dx.doi.org/10.1109/TPDS.2008.15",
	interhash = "4a644694a291d50a27820ffa4568d818",
	intrahash = "32b4e1633be9de5985e7b0c001169b14",
	journal = "IEEE Trans. Parallel Distrib. Syst.",
	keywords = "dblp",
	number = "10",
	pages = "1325--1337",
	timestamp = "2009-03-26T00:00:00.000+0100",
	title = "{Pseudo Trust: Zero-Knowledge Authentication in Anonymous P2Ps.}",
	url = "http://dblp.uni-trier.de/db/journals/tpds/tpds19.html#LuHLHHNM08",
	volume = "19",
	year = "2008"
}

@article{journals/tpds/LuHLHHNM08,
	added-at = "2009-03-26T00:00:00.000+0100",
	author = "Lu, Li and Han, Jinsong and Liu, Yunhao and Hu, Lei and Huai, Jin-Peng and Ni, Lionel M. and Ma, Jian",
	biburl = "http://www.bibsonomy.org/bibtex/232b4e1633be9de5985e7b0c001169b14/dblp",
	date = "2009-03-26",
	description = "dblp",
	ee = "http://dx.doi.org/10.1109/TPDS.2008.15",
	interhash = "4a644694a291d50a27820ffa4568d818",
	intrahash = "32b4e1633be9de5985e7b0c001169b14",
	journal = "IEEE Trans. Parallel Distrib. Syst.",
	keywords = "dblp",
	number = "10",
	pages = "1325--1337",
	timestamp = "2009-03-26T00:00:00.000+0100",
	title = "{Pseudo Trust: Zero-Knowledge Authentication in Anonymous P2Ps.}",
	url = "http://dblp.uni-trier.de/db/journals/tpds/tpds19.html#LuHLHHNM08",
	volume = "19",
	year = "2008"
}

@proceedings{DBLP:conf/spw/1996,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@proceedings{DBLP:conf/spw/1996,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/1996",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "Fri, 27 Dec 2002 11:14:49 +0100",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@proceedings{DBLP:conf/spw/1996,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{Security Protocols Workshop}",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@proceedings{DBLP:conf/spw/1996,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/spw/1996",
	editor = "Lomas, T. Mark A.",
	isbn = "3-540-62494-5",
	publisher = "Springer",
	series = "{Lecture Notes in Computer Science}",
	timestamp = "Fri, 27 Dec 2002 11:14:49 +0100",
	title = "{Security Protocols, International Workshop, Cambridge, United Kingdom, April 10-12, 1996, Proceedings}",
	volume = "1189",
	year = "1997"
}

@incollection{josang2006,
	author = "J{\o}sang, Audun and Marsh, Stephen and Pope, Simon",
	booktitle = "{Trust Management}",
	doi = "10.1007/11755593_14",
	editor = "St{\o}len, Ketil and Winsborough, WilliamH. and Martinelli, Fabio and Massacci, Fabio",
	isbn = "978-3-540-34295-3",
	language = "English",
	pages = "179--192",
	publisher = "Springer Berlin Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	title = "{Exploring Different Types of Trust Propagation}",
	url = "http://dx.doi.org/10.1007/11755593_14",
	volume = "3986",
	year = "2006"
}

@incollection{josang2006,
	author = "J{\o}sang, Audun and Marsh, Stephen and Pope, Simon",
	booktitle = "{Trust Management}",
	doi = "10.1007/11755593_14",
	editor = "St{\o}len, Ketil and Winsborough, WilliamH. and Martinelli, Fabio and Massacci, Fabio",
	isbn = "978-3-540-34295-3",
	language = "English",
	pages = "179--192",
	publisher = "Springer Berlin Heidelberg",
	series = "{Lecture Notes in Computer Science}",
	title = "{Exploring Different Types of Trust Propagation}",
	url = "http://dx.doi.org/10.1007/11755593_14",
	volume = "3986",
	year = "2006"
}

@inproceedings{ccs2011-trust,
	author = "Johnson, Aaron and Syverson, Paul and Dingledine, Roger and Mathewson, Nick",
	booktitle = "{Proceedings of the 18th ACM conference on Computer and Communications Security (CCS 2011)}",
	month = "October",
	title = "{Trust-based Anonymous Communication: Adversary Models and Routing Algorithms}",
	www_pdf_url = "http://freehaven.net/~arma/anonymity-trust-ccs2011.pdf",
	www_section = "Anonymous communication",
	www_tags = "selected",
	year = "2011"
}

@inproceedings{ccs2011-trust,
	author = "Johnson, Aaron and Syverson, Paul and Dingledine, Roger and Mathewson, Nick",
	booktitle = "{Proceedings of the 18th ACM conference on Computer and Communications Security (CCS 2011)}",
	month = "October",
	title = "{Trust-based Anonymous Communication: Adversary Models and Routing Algorithms}",
	www_pdf_url = "http://freehaven.net/~arma/anonymity-trust-ccs2011.pdf",
	www_section = "Anonymous communication",
	www_tags = "selected",
	year = "2011"
}

@inproceedings{Jamali:2010:MFT:1864708.1864736,
	acmid = "1864736",
	address = "New York, NY, USA",
	author = "Jamali, Mohsen and Ester, Martin",
	booktitle = "{Proceedings of the Fourth ACM Conference on Recommender Systems}",
	doi = "10.1145/1864708.1864736",
	isbn = "978-1-60558-906-0",
	keywords = "graphical model; matrix factorization; recommendation; social network; trust",
	location = "Barcelona, Spain",
	numpages = "8",
	pages = "135--142",
	publisher = "ACM",
	series = "{RecSys '10}",
	title = "{A Matrix Factorization Technique with Trust Propagation for Recommendation in Social Networks}",
	url = "http://doi.acm.org/10.1145/1864708.1864736",
	year = "2010"
}

@inproceedings{Jamali:2010:MFT:1864708.1864736,
	acmid = "1864736",
	address = "New York, NY, USA",
	author = "Jamali, Mohsen and Ester, Martin",
	booktitle = "{Proceedings of the Fourth ACM Conference on Recommender Systems}",
	doi = "10.1145/1864708.1864736",
	isbn = "978-1-60558-906-0",
	keywords = "graphical model; matrix factorization; recommendation; social network; trust",
	location = "Barcelona, Spain",
	numpages = "8",
	pages = "135--142",
	publisher = "ACM",
	series = "{RecSys '10}",
	title = "{A Matrix Factorization Technique with Trust Propagation for Recommendation in Social Networks}",
	url = "http://doi.acm.org/10.1145/1864708.1864736",
	year = "2010"
}

@article{hoffmann09,
	author = "Hoffman, R. R. and Lee, J. D. and Woods, D. D. and Shadbolt, N. and Miller, J. and Bradshaw, J. M",
	journal = "IEEE Intelligent Systems",
	month = "November/December",
	owner = "giuseppe",
	pages = "5--11",
	timestamp = "2015.02.10",
	title = "{The dynamics of trust in cyberdomains}",
	year = "2009"
}

@article{hoffmann09,
	author = "Hoffman, R. R. and Lee, J. D. and Woods, D. D. and Shadbolt, N. and Miller, J. and Bradshaw, J. M",
	journal = "IEEE Intelligent Systems",
	month = "November/December",
	owner = "giuseppe",
	pages = "5--11",
	timestamp = "2015.02.10",
	title = "{The dynamics of trust in cyberdomains}",
	year = "2009"
}

@proceedings{DBLP:conf/apccm/2005,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	editor = "Hartmann, Sven and Stumptner, Markus",
	isbn = "1-920682-25-2",
	publisher = "Australian Computer Society",
	series = "{CRPIT}",
	title = "{Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005}",
	volume = "43",
	year = "2005"
}

@proceedings{DBLP:conf/apccm/2005,
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{APCCM}",
	editor = "Hartmann, Sven and Stumptner, Markus",
	isbn = "1-920682-25-2",
	publisher = "Australian Computer Society",
	series = "{CRPIT}",
	title = "{Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005}",
	volume = "43",
	year = "2005"
}

@article{DBLP:journals/mscs/HamadouSY15,
	author = "Hamadou, Sardaouna and Sassone, Vladimiro and Yang, Mu",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mscs/HamadouSY15",
	doi = "10.1017/S0960129513000650",
	journal = "Mathematical Structures in Computer Science",
	number = "2",
	pages = "429--456",
	timestamp = "Wed, 28 Jan 2015 16:31:41 +0100",
	title = "{An analysis of trust in anonymity networks in the presence of adaptive attackers}",
	url = "http://dx.doi.org/10.1017/S0960129513000650",
	volume = "25",
	year = "2015"
}

@article{DBLP:journals/mscs/HamadouSY15,
	author = "Hamadou, Sardaouna and Sassone, Vladimiro and Yang, Mu",
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mscs/HamadouSY15",
	doi = "10.1017/S0960129513000650",
	journal = "Mathematical Structures in Computer Science",
	number = "2",
	pages = "429--456",
	timestamp = "Wed, 28 Jan 2015 16:31:41 +0100",
	title = "{An analysis of trust in anonymity networks in the presence of adaptive attackers}",
	url = "http://dx.doi.org/10.1017/S0960129513000650",
	volume = "25",
	year = "2015"
}

@proceedings{DBLP:conf/nspw/1997,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/nspw/1997",
	doi = "10.1145/283699",
	editor = "Haigh, Tom and Blakley, Bob and Zurko, Mary Ellen and Meodaws, Catherine",
	isbn = "0-89791-986-6",
	publisher = "{ACM}",
	timestamp = "Mon, 11 Apr 2016 08:45:43 +0200",
	title = "{Proceedings of the 1997 Workshop on New Security Paradigms, Langdale, Cumbria, United Kingdom, September 23-26, 1997}",
	url = "http://doi.acm.org/10.1145/283699",
	year = "1997"
}

@proceedings{DBLP:conf/nspw/1997,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/nspw/1997",
	doi = "10.1145/283699",
	editor = "Haigh, Tom and Blakley, Bob and Zurko, Mary Ellen and Meodaws, Catherine",
	isbn = "0-89791-986-6",
	publisher = "{ACM}",
	timestamp = "Mon, 11 Apr 2016 08:45:43 +0200",
	title = "{Proceedings of the 1997 Workshop on New Security Paradigms, Langdale, Cumbria, United Kingdom, September 23-26, 1997}",
	url = "http://doi.acm.org/10.1145/283699",
	year = "1997"
}

@inproceedings{DBLP:conf/sp/GoguenM82,
	author = "Goguen, Joseph A. and Meseguer, Jos{\'e}",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{IEEE Symposium on Security and Privacy}",
	pages = "11--20",
	title = "{Security Policies and Security Models}",
	year = "1982"
}

@inproceedings{DBLP:conf/sp/GoguenM82,
	author = "Goguen, Joseph A. and Meseguer, Jos{\'e}",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	booktitle = "{IEEE Symposium on Security and Privacy}",
	pages = "11--20",
	title = "{Security Policies and Security Models}",
	year = "1982"
}

@article{girard2003,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://www.math.ucla.edu/$\sim$asl/bsl/0902/0902-002.ps",
	journal = "Bulletin of Symbolic Logic",
	number = "2",
	pages = "131--168",
	title = "{From foundations to ludics}",
	volume = "9",
	year = "2003"
}

@article{girard87,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
	journal = "Theor. Comput. Sci.",
	owner = "giuseppe",
	pages = "1--102",
	timestamp = "2013.11.27",
	title = "{Linear Logic}",
	volume = "50",
	year = "1987"
}

@article{girard2003,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://www.math.ucla.edu/$\sim$asl/bsl/0902/0902-002.ps",
	journal = "Bulletin of Symbolic Logic",
	number = "2",
	pages = "131--168",
	title = "{From foundations to ludics}",
	volume = "9",
	year = "2003"
}

@article{girard87,
	author = "Girard, Jean-Yves",
	bibsource = "DBLP, http://dblp.uni-trier.de",
	ee = "http://dx.doi.org/10.1016/0304-3975(87)90045-4",
	journal = "Theor. Comput. Sci.",
	owner = "giuseppe",
	pages = "1--102",
	timestamp = "2013.11.27",
	title = "{Linear Logic}",
	volume = "50",
	year = "1987"
}

@proceedings{DBLP:conf/pst/2015,
	bibsource = "dblp computer science bibliography, http://dblp.org",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pst/2015",
	editor = "Ghorbani, Ali A. and Torra, Vicen\c{c} and Hisil, H{\"u}seyin and Miri, Ali and Koltuksuz, Ahmet and Zhang, Jie and Sensoy, Murat and Garc{\'i}a{-}Alfaro, Joaqu{\'i}n and Zincir, Ibrahim",
	isbn = "978-1-4673-7828-4",
	publisher = "{IEEE}",
	timestamp = "Tue, 08 Sep 2015 08:09:09 +0200",
	title = "{13th Annual Conference on Privacy, Security and Trust, {PST} 2015, Izmir, Turkey, July 21-23, 2015}",
	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7193739",
	year = "2015"
}

@proceedings{DBLP:conf/pst/2015,
	bibsource = "dblp computer science bibliography, http://dblp.org",