Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 13 of 52 found articles
 
 
  Blockchain-enhanced smart contracts for formal verification of IoT access control mechanisms
 
 
Title: Blockchain-enhanced smart contracts for formal verification of IoT access control mechanisms
Author: Guo, Zhifeng
Appeared in: Alexandria engineering journal
Paging: Volume 118 () nr. C pages 315-324
Year: 2025
Contents:
Publisher: The Authors
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 13 of 52 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands