共 50 条
- [1] A formal model for trust in dynamic networks [J]. FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 54 - 61
- [2] Formal Trust Model for Multiagent Systems [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1551 - 1556
- [4] A Formal-Semantics-Based Calculus of Trust [J]. IEEE INTERNET COMPUTING, 2010, 14 (05) : 38 - 46
- [5] A Formal Model for Security Analysis of Trust and Reputation systems [J]. 2017 14TH INTERNATIONAL ISC (IRANIAN SOCIETY OF CRYPTOLOGY) CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC), 2017, : 13 - 18
- [7] Formal Description of Trust-based Access control [J]. 2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 1, 2011, : 383 - 385
- [8] Formal Description of Trust-based Access control [J]. 2012 INTERNATIONAL CONFERENCE ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING (ICMPBE2012), 2012, 33 : 555 - 560
- [9] On the formal modelling of trust in reputation-based systems [J]. THEORY IS FOREVER: ESSAYS DEDICATED TO ARTO SALOMAA ON THE OCCASION OF HIS 70TH BIRTHDAY, 2004, 3113 : 192 - 204
- [10] An omnipresent formal trust model (FTM) for pervasive computing environment [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 49 - +