Matches in SemOpenAlex for { <https://semopenalex.org/work/W3196504998> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3196504998 endingPage "13" @default.
- W3196504998 startingPage "3" @default.
- W3196504998 abstract "Smart contracts certainly provide a powerful functional surplus for maintaining the consistency of transactions in applications governed by blockchain technology. However, the intended level of automation might cause cascading effects that have to be checked by formal methods of algorithmic proof. Our smart contract formal model analysis framework uses the Finite State Machine (FSM) theory which is a model of behavior composed of states, transitions and actions. In this model, a state stores information about the past, a transition indicates a state change and is described by a condition that would need to be fulfilled to enable the transition. An action is a description of an activity that is to be performed at a given moment. These conditions are properties that are checked during program execution. This formal analysis framework allows us to define a set of invariants on Finite State Machine behavior model and to propose an anomaly detection system based on the invariants of the smart contract." @default.
- W3196504998 created "2021-09-13" @default.
- W3196504998 creator A5009090895 @default.
- W3196504998 creator A5032298829 @default.
- W3196504998 date "2021-09-03" @default.
- W3196504998 modified "2023-09-25" @default.
- W3196504998 title "Formal Analysis of Smart Contracts: Model Impact Factor on Criminality" @default.
- W3196504998 cites W2023808162 @default.
- W3196504998 cites W2030926579 @default.
- W3196504998 cites W2042818304 @default.
- W3196504998 cites W2156299003 @default.
- W3196504998 cites W2293740362 @default.
- W3196504998 cites W2536137494 @default.
- W3196504998 cites W2538848838 @default.
- W3196504998 cites W2539190473 @default.
- W3196504998 cites W2778144710 @default.
- W3196504998 cites W2789063661 @default.
- W3196504998 cites W2790202156 @default.
- W3196504998 cites W2794965318 @default.
- W3196504998 cites W2846896781 @default.
- W3196504998 cites W2899484818 @default.
- W3196504998 cites W2908007588 @default.
- W3196504998 cites W2914735843 @default.
- W3196504998 cites W2948760025 @default.
- W3196504998 cites W2954151438 @default.
- W3196504998 cites W2962584186 @default.
- W3196504998 cites W2963594166 @default.
- W3196504998 cites W2963610883 @default.
- W3196504998 cites W2967854622 @default.
- W3196504998 cites W2968356974 @default.
- W3196504998 cites W2985495886 @default.
- W3196504998 cites W2990807061 @default.
- W3196504998 cites W3015325345 @default.
- W3196504998 cites W3016155638 @default.
- W3196504998 cites W3037958746 @default.
- W3196504998 cites W3091620507 @default.
- W3196504998 cites W3098450669 @default.
- W3196504998 cites W4248689402 @default.
- W3196504998 doi "https://doi.org/10.1007/978-3-030-86162-9_1" @default.
- W3196504998 hasPublicationYear "2021" @default.
- W3196504998 type Work @default.
- W3196504998 sameAs 3196504998 @default.
- W3196504998 citedByCount "0" @default.
- W3196504998 crossrefType "book-chapter" @default.
- W3196504998 hasAuthorship W3196504998A5009090895 @default.
- W3196504998 hasAuthorship W3196504998A5032298829 @default.
- W3196504998 hasConcept C115901376 @default.
- W3196504998 hasConcept C115903868 @default.
- W3196504998 hasConcept C121332964 @default.
- W3196504998 hasConcept C127413603 @default.
- W3196504998 hasConcept C154945302 @default.
- W3196504998 hasConcept C167822520 @default.
- W3196504998 hasConcept C177264268 @default.
- W3196504998 hasConcept C179254644 @default.
- W3196504998 hasConcept C199360897 @default.
- W3196504998 hasConcept C2776436953 @default.
- W3196504998 hasConcept C41008148 @default.
- W3196504998 hasConcept C48103436 @default.
- W3196504998 hasConcept C74650414 @default.
- W3196504998 hasConcept C75606506 @default.
- W3196504998 hasConcept C78519656 @default.
- W3196504998 hasConcept C80444323 @default.
- W3196504998 hasConceptScore W3196504998C115901376 @default.
- W3196504998 hasConceptScore W3196504998C115903868 @default.
- W3196504998 hasConceptScore W3196504998C121332964 @default.
- W3196504998 hasConceptScore W3196504998C127413603 @default.
- W3196504998 hasConceptScore W3196504998C154945302 @default.
- W3196504998 hasConceptScore W3196504998C167822520 @default.
- W3196504998 hasConceptScore W3196504998C177264268 @default.
- W3196504998 hasConceptScore W3196504998C179254644 @default.
- W3196504998 hasConceptScore W3196504998C199360897 @default.
- W3196504998 hasConceptScore W3196504998C2776436953 @default.
- W3196504998 hasConceptScore W3196504998C41008148 @default.
- W3196504998 hasConceptScore W3196504998C48103436 @default.
- W3196504998 hasConceptScore W3196504998C74650414 @default.
- W3196504998 hasConceptScore W3196504998C75606506 @default.
- W3196504998 hasConceptScore W3196504998C78519656 @default.
- W3196504998 hasConceptScore W3196504998C80444323 @default.
- W3196504998 hasLocation W31965049981 @default.
- W3196504998 hasOpenAccess W3196504998 @default.
- W3196504998 hasPrimaryLocation W31965049981 @default.
- W3196504998 hasRelatedWork W10887080 @default.
- W3196504998 hasRelatedWork W11614187 @default.
- W3196504998 hasRelatedWork W2147909 @default.
- W3196504998 hasRelatedWork W3947704 @default.
- W3196504998 hasRelatedWork W4104734 @default.
- W3196504998 hasRelatedWork W4997652 @default.
- W3196504998 hasRelatedWork W7319659 @default.
- W3196504998 hasRelatedWork W8435521 @default.
- W3196504998 hasRelatedWork W9326425 @default.
- W3196504998 hasRelatedWork W10042895 @default.
- W3196504998 isParatext "false" @default.
- W3196504998 isRetracted "false" @default.
- W3196504998 magId "3196504998" @default.
- W3196504998 workType "book-chapter" @default.