메뉴 건너뛰기




Volumn 6740 LNCS, Issue , 2011, Pages 254-261

CertainLogic: A logic for modeling trust and uncertainty (Short paper)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; UNCERTAINTY ANALYSIS; COMPUTATION THEORY; TRUSTED COMPUTING;

EID: 84947556769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21599-5_19     Document Type: Conference Paper
Times cited : (45)

References (19)
  • 1
    • 0002670359 scopus 로고    scopus 로고
    • Attack trees: Modeling security threats
    • Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb's Journal 24 (1999)
    • (1999) Dr. Dobb's Journal , pp. 24
    • Schneier, B.1
  • 2
  • 3
    • 29244450159 scopus 로고    scopus 로고
    • Property-based attestation for computing platforms: Caring about properties, not mechanisms
    • Sadeghi, A., Stüble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: Workshop on New Security Paradigms (2004)
    • Workshop on New Security Paradigms (2004)
    • Sadeghi, A.1    Stüble, C.2
  • 4
    • 79959474920 scopus 로고    scopus 로고
    • Dynamic trust enhanced security model for trusted computing platform based services
    • Nagarajan, A., Varadharajan, V.: Dynamic trust enhanced security model for trusted computing platform based services. Future Generation Comp. Sys. (2010)
    • (2010) Future Generation Comp. Sys.
    • Nagarajan, A.1    Varadharajan, V.2
  • 7
    • 0001951820 scopus 로고
    • Can we trust trust?
    • Gambetta, D. (ed.) Basil Blackwell, New York
    • Gambetta, D.: Can we trust trust? In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 213-237. Basil Blackwell, New York (1990)
    • (1990) Trust: Making and Breaking Cooperative Relations , pp. 213-237
    • Gambetta, D.1
  • 8
    • 24744447668 scopus 로고    scopus 로고
    • A Robust Reputation System for Peer-to-Peer and Mobile Ad-hoc Networks
    • Buchegger, S., Le Boudec, J.Y.: A Robust Reputation System for Peer-to-Peer and Mobile Ad-hoc Networks. In: P2PEcon 2004 (2004)
    • (2004) P2PEcon 2004
    • Buchegger, S.1    Le Boudec, J.Y.2
  • 9
    • 33645023169 scopus 로고    scopus 로고
    • Travos: Trust and reputation in the context of inaccurate information sources
    • Teacy, W., et al.: Travos: Trust and reputation in the context of inaccurate information sources. Aut. Agents and Multi-Agent Systems 12(2), 183-198 (2006)
    • (2006) Aut. Agents and Multi-Agent Systems , vol.12 , Issue.2 , pp. 183-198
    • Teacy, W.1
  • 13
    • 72949119922 scopus 로고    scopus 로고
    • Extending bayesian trust models regarding context-dependence and user friendly representation
    • Ries, S.: Extending bayesian trust models regarding context-dependence and user friendly representation. In: ACM Symp. on Applied Computing, pp. 1294-1301 (2009)
    • (2009) ACM Symp. on Applied Computing , pp. 1294-1301
    • Ries, S.1
  • 14
    • 34250406938 scopus 로고
    • Fuzzy logic and approximate reasoning
    • Zadeh, L.A.: Fuzzy logic and approximate reasoning. Synthese 30, 407-428 (1975)
    • (1975) Synthese , vol.30 , pp. 407-428
    • Zadeh, L.A.1
  • 18
    • 78651467453 scopus 로고    scopus 로고
    • PhD thesis, Technische Universität Darmstadt
    • Ries, S.: Trust in Ubiquitous Computing. PhD thesis, Technische Universität Darmstadt (2009)
    • (2009) Trust in Ubiquitous Computing
    • Ries, S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.