English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Cyberlogic is an enabling logical foundation for building and analyzingdigital transactions that involve the exchange of digital forms of evidence. Itis based on an extension of (first-order) intuitionistic predicate logic withan attestation and a knowledge modality. The key ideas underlying Cyberlogicare extremely simple, as (1) public keys correspond to authorizations, (2)transactions are specified as distributed logic programs, and (3) verifiableevidence is collected by means of distributed proof search. Verifiableevidence, in particular, are constructed from extra-logical elements such assigned documents and cryptographic signatures. Despite this conceptualsimplicity of Cyberlogic, central features of authorization policies includingtrust, delegation, and revocation of authority are definable. An expressivetemporal-epistemic logic for specifying distributed authorization policies andprotocols is therefore definable in Cyberlogic using a trusted time source. Wedescribe the distributed execution of Cyberlogic programs based on thehereditary Harrop fragment in terms of distributed proof search, and weillustrate some fundamental issues in the distributed construction ofcertificates. The main principles of encoding and executing cryptographicprotocols in Cyberlogic are demonstrated. Finally, a functional encryptionscheme is proposed for checking certificates of evidential transactions whenpolicies are kept private.

Evidential Transactions with Cyberlogic