A Representative Fragment Method of Analyzing Complex Systems of Smart Contract
Artykuł naukowy w czasopiśmie recenzowanyCzasopismo: Advances In Cyber-Physical Systems Współautorzy: dr Piotr Filipkowski
Rok wydania: 2019
Tom: 4
Numer czasopisma: 1
Strony od-do: 15-24
Streszczenie: Praca prezentuje zastosowanie metody odpornej na eksplozję stanów do analizy zachowania systemów dostarczających technologię smart contract. Wybranym przykładowym systemem jest ShadowEth, którego głównym zadaniem jest zapewnienie na odpowiednich poziomach dostatecznej poufności informacji przechowywanych w łańcuchu bloków waluty Ethereum. Zaprezentowano model sieci Petriego dla systemu ShadowEth. Zostały zdefiniowane właściwości systemu zgodnie ze specyfikacją. Właściwości opisano przy pomocy rozszerzenia logiki czasu rzeczywistego oraz przeprowadzono weryfikację modelową.
Słowa kluczowe: petri net, time, smart-contract, shadoweth, Ethereum
DOI: https://doi.org/10.23939/acps2019.01.014
Cytowanie w formacie Bibtex:
@article{1,
author = "Michał Horodelski and dr Piotr Filipkowski",
title = "A Representative Fragment Method of Analyzing Complex Systems of Smart Contract",
journal = "Advances In Cyber-Physical Systems ",
year = "2019",
number = "1",
pages = "15-24"
}
Cytowanie w formacie APA:
Horodelski, M. and dr Piotr Filipkowski(2019). A Representative Fragment Method of Analyzing Complex Systems of Smart Contract. Advances In Cyber-Physical Systems , 1, 15-24.