中文
相关论文

相关论文: Integrity Constraints in Trust Management

200 篇论文

A growing framework of legal and ethical requirements limit scientific and commercial evalua-tion of personal data. Typically, pseudonymization, encryption, or methods of distributed com-puting try to protect individual privacy. However,…

密码学与安全 · 计算机科学 2018-11-21 Nikolaus von Bomhard , Bernd Ahlborn , Catherine Mason , Ulrich Mansmann

Cyberspace is a fragile construct threatened by malicious cyber operations of different actors, with vulnerabilities in IT hardware and software forming the basis for such activities, thus also posing a threat to global IT security.…

密码学与安全 · 计算机科学 2023-06-02 Thomas Reinhold , Philipp Kuehn , Daniel Günther , Thomas Schneider , Christian Reuter

The EU Artificial Intelligence (AI) Act directs businesses to assess their AI systems to ensure they are developed in a way that is human-centered and trustworthy. The rapid adoption of AI in the industry has outpaced ethical evaluation…

计算机与社会 · 计算机科学 2025-09-30 Louise McCormack , Diletta Huyskes , Dave Lewis , Malika Bendechache

Intelligent information systems that contain emergent elements often encounter trust problems because results do not get sufficiently explained and the procedure itself can not be fully retraced. This is caused by a control flow depending…

计算机与社会 · 计算机科学 2021-04-30 Michael Guckert , Nils Gumpfer , Jennifer Hannig , Till Keller , Neil Urquhart

In the last few years, AI continues demonstrating its positive impact on society while sometimes with ethically questionable consequences. Building and maintaining public trust in AI has been identified as the key to successful and…

人工智能 · 计算机科学 2021-05-25 Liming Zhu , Xiwei Xu , Qinghua Lu , Guido Governatori , Jon Whittle

AI safety is an increasingly urgent concern as the capabilities and adoption of AI systems grow. Existing evolutionary models of AI governance have primarily examined incentives for safe development and effective regulation, typically…

AI deployment in sensitive domains such as health care, credit, employment, and criminal justice is often treated as unsafe to authorize until model internals can be explained. This often leads to an excessive reliance on mechanistic…

Authoring access control policies is challenging and prone to misconfigurations. Access control policies must be conflict-free. Hence, administrators should identify discrepancies between policy specifications and their intended function to…

密码学与安全 · 计算机科学 2023-03-30 Antonios Gouglidis , Anna Kagia , Vincent C. Hu

As multi-agent systems move from short interactions to tool-using workflows with specialized roles and persistent state, completion becomes a runtime-control problem rather than a purely generative one. This preprint studies verify-gated…

软件工程 · 计算机科学 2026-05-22 Hai-Duong Nguyen , Xuan-The Tran

While the most visible part of the safety verification process of automated vehicles concerns the planning and control system, it is often overlooked that safety of the latter crucially depends on the fault-tolerance of the preceding…

机器人学 · 计算机科学 2021-11-25 Cornelius Buerkle , Florian Geissler , Michael Paulitsch , Kay-Ulrich Scholl

This thesis addresses the problem of providing trusted individuals with confidential information about other individuals, in particular, granting access to databases of personal records using the World-Wide Web. It proposes an access rights…

密码学与安全 · 计算机科学 2007-05-23 Walter Eaves

Today's software quality assurance techniques are often applied in isolation. Consequently, synergies resulting from systematically integrating different quality assurance activities are often not exploited. Such combinations promise…

软件工程 · 计算机科学 2013-11-26 Frank Elberzhager , Alla Rosbach , Jürgen Münch , Robert Eschbach

Trust and Reputation Management Systems (TRMSs) are critical for the modern web, yet their reliance on subjective user ratings or narrow Quality of Service (QoS) metrics lacks objective grounding. Concurrently, while regulatory frameworks…

密码学与安全 · 计算机科学 2026-03-26 Wenbo Wu , George Konstantinidis

The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are…

计算机科学中的逻辑 · 计算机科学 2012-06-15 Michele Barletta , Silvio Ranise , Luca Viganò

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

密码学与安全 · 计算机科学 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Large Language Model-based Multi-Agent Systems (LLM-MAS) have demonstrated strong capabilities in solving complex tasks but remain vulnerable when agents receive unreliable messages. This vulnerability stems from a fundamental gap: LLM…

In this work, we provide an industry research view for approaching the design, deployment, and operation of trustworthy Artificial Intelligence (AI) inference systems. Such systems provide customers with timely, informed, and customized…

Due to the amount of data that smartphone applications can potentially access, platforms enforce permission systems that allow users to regulate how applications access protected resources. If users are asked to make security decisions too…

密码学与安全 · 计算机科学 2015-04-16 Primal Wijesekera , Arjun Baokar , Ashkan Hosseini , Serge Egelman , David Wagner , Konstantin Beznosov

Assessing and comparing the security level of different voting systems is non-trivial as the technical means provided for and societal assumptions made about various systems differ significantly. However, trust assumptions concerning the…

密码学与安全 · 计算机科学 2023-09-20 Kristjan Krips , Nikita Snetkov , Jelizaveta Vakarjuk , Jan Willemson

Effective activity and event monitoring is an essential aspect of digital forensic readiness. Techniques for capturing log and other event data are familiar from conventional networked hosts and transfer directly to the Cloud context. In…

密码学与安全 · 计算机科学 2024-05-06 George R. S. Weir , Andreas Aßmuth