PubHubs identity management

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS Journal of Logic and Computation Pub Date : 2023-10-16 DOI:10.1093/logcom/exad062

Bart Jacobs, Bram Westerbaana, Omar Javed, Harm van Stekelenburg, Lian Vervoort, Jan den Besten

引用次数: 0

Abstract

Abstract Finding a combination between privacy and accountability in the online world is a challenge. Too little accountability supports problematic behaviour. Too little privacy undermines individual freedom and has a chilling effect. This paper describes the identity infrastructure of a new open source community platform called PubHubs. It combines local group conversations, via its own adaptation of Matrix, with proportional authentication of users, in local identity spaces. PubHubs thus achieves a combination of privacy and accountability. The technical core of the paper describes the cryptographic protocols for managing digital identities, via both personal attributes and local pseudonyms. Around this core, the roles of digital identities within the PubHubs platform are explained in functional terms, giving participants for instance more certainty about others in a conversation, or giving moderators new tools.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

公共中心身份管理

在网络世界中找到隐私和责任的结合是一个挑战。问责太少会助长问题行为。隐私过少会损害个人自由，并产生寒蝉效应。本文描述了一个名为PubHubs的新开源社区平台的身份基础设施。它通过自己对矩阵的改编，在本地身份空间中结合了本地组会话和用户的比例认证。因此，PubHubs实现了隐私和责任的结合。本文的技术核心描述了通过个人属性和本地假名管理数字身份的加密协议。围绕这个核心，数字身份在PubHubs平台中的作用从功能角度进行了解释，例如，让参与者更确定对话中的其他人，或者给版主提供新的工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Journal of Logic and Computation 工程技术-计算机：理论方法

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

期刊最新文献

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex Modal weak Kleene logics: axiomatizations and relational semantics A Gödel-Dugundji-style theorem for the minimal structural logic Perfect proofs at first order Intuitionistic S4 as a logic of topological spaces