Towards a Theory of Trust for the Global Ubiquitous Computer
Towards a Theory of Trust for the Global Ubiquitous Computer
复制标题
走向全球无处不在的计算机的信任理论
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
K. Krukow
中科院分区：
文献类型：
--
作者：
K. Krukow
本论文对计算机科学研究中一个相对较新的领域——基于信任的安全领域做出了贡献。主要考虑了计算信任理论，即原理、模型和相关推理技术。有人认为，一种或多种信任理论应该成为应对计算机科学研究中所谓“重大挑战”之一——“全球普适计算科学”的基石。一个核心含义是，信任管理并非纯粹的工程任务：为了与全球普适计算科学的愿景相兼容，它必须能够进行严格的推理；因此，数学模型以及语言和工具对于实现最终目标是必要的。本论文的科学贡献主要是理论性的，涵盖以下三个领域：我们为信任管理开发了数学模型、相关的特定领域策略语言以及工具（从理论意义上讲，例如算法和操作语义）。在更实际的层面上，展示了一种基于声誉的信任管理的通用形式化方法如何应用于一个先前与计算信任无关的研究领域：基于本论文开发的模型、语言和工具，实现了一个用于Java中基于历史的访问控制的原型软件框架。
This dissertation contributes to a relatively young field in computer science research, the field of trust-based security. Primarily, theories of computational trust are considered, i.e., principles, models and associated reasoning techniques. It is argued that one or several theories of trust should constitute a corner-stone in the answer to one of the so-called ‘Grand Challenges’ for computer science research: ‘Science for Global Ubiquitous Computing.’ A central implication is that trust management is not purely an engineering task: To be compatible with the vision of a science for global ubiquitous computing, it must be amenable to rigorous reasoning; hence, mathematical models as well as languages and tools are necessary to achieve the ultimate goal. The scientific contributions of this dissertation are primarily theoretical, and lie within each of these three areas: We develop mathematical models for trust management, associated domain-specific policy languages as well as tools (in a theoretical sense, e.g., algorithms and operational semantics). At a more practical level, it is shown how a general formal approach to reputation-based trust management has applications in a research area previously not linked to computational trust: A prototype software framework for history-based access control in Java is implemented based on models, languages and tools developed in this dissertation.
基于历史的访问控制和信誉系统的逻辑框架
影响因子：
1.2
作者：
Krukow K
通讯作者：
Krukow K