Dagbase: A Decentralized Database Platform Using DAG-Based Consensus

Ding, Yepeng; Satō, Hiroyuki

doi:10.1109/compsac48688.2020.0-164

Cited by 17 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Authorization frameworks have evolved into a new stage with the support of blockchain technologies. Studies [6,7] have proposed practical approaches to implementing autho-rization mechanisms with smart contracts, a type of program deployed and executed on blockchains. Here, we show how our elastic trust model can be used to reason about decentralized authorization frameworks.…”

Section: Blockchain-based Authorization Frameworkmentioning

confidence: 99%

Elastic Trust Management in Decentralized Computing Environments

Sato

Ding

2022

Modern Management Based on Big Data III

Self Cite

View full text Add to dashboard Cite

Today, the Internet trust is a critical framework that forms a fundamental premise for network security. Several identity federations are deployed to embody the classic theory of trust framework. However, in an emerging blockchain-based decentralized system, we need to model dynamically grown/shrunken trust. This paper models the trust elasticity by formalizing PDP(policy decision point)s of enrolling entities and introducing Trust PDP. In the proposed formalization, assertions are exchanged among participating nodes to express the knowledge of the PDP of nodes. The knowledge may grow by exchanging assertions. Furthermore, we propose exchanging assertions on the trust relationship to express the elasticity of trust. The judgment on trust is operated by Trust PDP that affects the elasticity of trust. The proposed theory is applied to the trust establishment of blockchain and an authorization management system based on blockchain. The trust in the blockchain environment is expressed in terms of Trust PDP.

show abstract

Section: Blockchain-based Authorization Frameworkmentioning

confidence: 99%

Elastic Trust Management in Decentralized Computing Environments

Sato

Ding

2022

Modern Management Based on Big Data III

Self Cite

View full text Add to dashboard Cite

show abstract

“…Although the conceptual aspects of SSI have been intensively discussed, the architectural aspects and implementations are still in infancy. Distributed ledger technology (DLT) has been widely used to enhance the security and privacy of systems in many fields such as finance [1], Internet of Things [2], data engineering [3], and smart health [4] on account of its decentralization characteristics. It enables immutable data persistence and processing without central entities.…”

Section: Introductionmentioning

confidence: 99%

Self-Sovereign Identity as a Service: Architecture in Practice

Ding¹,

Satō²

2022

Preprint

Self Cite

View full text Add to dashboard Cite

Self-sovereign identity (SSI) has gained a large amount of interest. It enables physical entities to retain ownership and control of their digital identities, which naturally forms a conceptual decentralized architecture. With the support of the distributed ledger technology (DLT), it is possible to implement this conceptual decentralized architecture in practice and further bring technical advantages such as privacy protection, security enhancement, high availability. However, developing such a relatively new identity model has high costs and risks with uncertainty. To facilitate the use of the DLTbased SSI in practice, we formulate Self-Sovereign Identity as a Service (SSIaaS), a concept that enables a system, especially a system cluster, to readily adopt SSI as its identity model for identification, authentication, and authorization. We propose a practical architecture by elaborating the service concept, SSI, and DLT to implement SSIaaS platforms and SSI services. Besides, we present an architecture for constructing and customizing SSI services with a set of architectural patterns and provide corresponding evaluations. Furthermore, we demonstrate the feasibility of our proposed architecture in practice with Selfid, an SSIaaS platform based on our proposed architecture.

show abstract

“…The architecture of these distributed systems is complex that consists of a set of heterogeneous subsystems. Particularly, with the advancement of the distributed ledger technology, the nested architectures become ubiquitous in decentralized systems [1] [7]. Besides, these systems collaborate with each other by complex protocols [8] [6] based on peer communications and cross-layer communications to satisfy the requirements.…”

Section: Introductionmentioning

confidence: 99%

Extending Concurrent Separation Logic to Enhance Modular Formalization

Ding,

Sato

2020

Preprint

Self Cite

View full text Add to dashboard Cite

Nowadays, numerous services based on large-scale distributed systems have been developed to boost the convenience of human life. On the other side, it becomes a significant challenge to ensure the correctness and properties of these systems due to the complex and nested architecture. Although concurrent separation logic (CSL) has partially tackled the problem by specifying systems and verifying the correctness of them, it faces modularity issues. In this paper, we propose an extended concurrent separation logic (ECSL) to address the modularity issues of CSL with the support of the temporal extension, communication extension, environment extension, and nest extension. ECSL is capable of formalizing systems at different abstraction levels from memory management to architecture and protocol design with great modularity. Furthermore, we stick to unitarity and compatibility principles while developing ECSL.

show abstract

Dagbase: A Decentralized Database Platform Using DAG-Based Consensus

Cited by 17 publications

References 9 publications

Elastic Trust Management in Decentralized Computing Environments

Elastic Trust Management in Decentralized Computing Environments

Self-Sovereign Identity as a Service: Architecture in Practice

Extending Concurrent Separation Logic to Enhance Modular Formalization

Contact Info

Product

Resources

About