Matches in SemOpenAlex for { <https://semopenalex.org/work/W33768093> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W33768093 abstract "An electronic cash system as any distributed system is subject to site and communication failures, as well as potential security attacks. This work focuses on simulation and verification of three important correctness properties, for ensuring failure resilience or detecting potential property violation scenarios. We refer to the NetBill electronic cash system and the properties to be checked are money atomicity, goods atomicity and certified delivery. We introduce a Colored Petri Net that models NetBill, in the presence of site or communication failures and all possible transaction abort cases. The presented model has been implemented in CPN Tools, a graphical ML-based tool for analyzing Colored Petri Nets. This allows us to combine the provided state space exploration functions and the supported Computation Tree like temporal logic (CTL), for model checking the forenamed atomicity properties. At the same time, it is possible to exploit the provided interactive simulation facilities to explore potential property violation scenarios and correct the protocol’s design." @default.
- W33768093 created "2016-06-24" @default.
- W33768093 creator A5002757052 @default.
- W33768093 creator A5032143990 @default.
- W33768093 creator A5033577211 @default.
- W33768093 date "2005-01-01" @default.
- W33768093 modified "2023-09-27" @default.
- W33768093 title "SIMULATION AND VERIFICATION OF ATOMICITY PROPERTIES FOR AN ELECTRONIC CASH SYSTEM" @default.
- W33768093 cites W1491429571 @default.
- W33768093 cites W1496370038 @default.
- W33768093 cites W1744550167 @default.
- W33768093 cites W1850351066 @default.
- W33768093 cites W2117189826 @default.
- W33768093 cites W2125700321 @default.
- W33768093 cites W2166443687 @default.
- W33768093 cites W3142333173 @default.
- W33768093 cites W2736386595 @default.
- W33768093 hasPublicationYear "2005" @default.
- W33768093 type Work @default.
- W33768093 sameAs 33768093 @default.
- W33768093 citedByCount "0" @default.
- W33768093 crossrefType "journal-article" @default.
- W33768093 hasAuthorship W33768093A5002757052 @default.
- W33768093 hasAuthorship W33768093A5032143990 @default.
- W33768093 hasAuthorship W33768093A5033577211 @default.
- W33768093 hasConcept C120314980 @default.
- W33768093 hasConcept C159023740 @default.
- W33768093 hasConcept C165696696 @default.
- W33768093 hasConcept C188045909 @default.
- W33768093 hasConcept C199360897 @default.
- W33768093 hasConcept C38652104 @default.
- W33768093 hasConcept C38677869 @default.
- W33768093 hasConcept C41008148 @default.
- W33768093 hasConcept C55439883 @default.
- W33768093 hasConcept C75949130 @default.
- W33768093 hasConceptScore W33768093C120314980 @default.
- W33768093 hasConceptScore W33768093C159023740 @default.
- W33768093 hasConceptScore W33768093C165696696 @default.
- W33768093 hasConceptScore W33768093C188045909 @default.
- W33768093 hasConceptScore W33768093C199360897 @default.
- W33768093 hasConceptScore W33768093C38652104 @default.
- W33768093 hasConceptScore W33768093C38677869 @default.
- W33768093 hasConceptScore W33768093C41008148 @default.
- W33768093 hasConceptScore W33768093C55439883 @default.
- W33768093 hasConceptScore W33768093C75949130 @default.
- W33768093 hasLocation W337680931 @default.
- W33768093 hasOpenAccess W33768093 @default.
- W33768093 hasPrimaryLocation W337680931 @default.
- W33768093 hasRelatedWork W129939828 @default.
- W33768093 hasRelatedWork W1483155743 @default.
- W33768093 hasRelatedWork W148373023 @default.
- W33768093 hasRelatedWork W1502896170 @default.
- W33768093 hasRelatedWork W1536862222 @default.
- W33768093 hasRelatedWork W1561842683 @default.
- W33768093 hasRelatedWork W1566249614 @default.
- W33768093 hasRelatedWork W1606271493 @default.
- W33768093 hasRelatedWork W2069245622 @default.
- W33768093 hasRelatedWork W2125028799 @default.
- W33768093 hasRelatedWork W2126747538 @default.
- W33768093 hasRelatedWork W2135949556 @default.
- W33768093 hasRelatedWork W2350647751 @default.
- W33768093 hasRelatedWork W2355986526 @default.
- W33768093 hasRelatedWork W2384050284 @default.
- W33768093 hasRelatedWork W2385230242 @default.
- W33768093 hasRelatedWork W2539163129 @default.
- W33768093 hasRelatedWork W3006451234 @default.
- W33768093 hasRelatedWork W997258979 @default.
- W33768093 hasRelatedWork W4629738 @default.
- W33768093 isParatext "false" @default.
- W33768093 isRetracted "false" @default.
- W33768093 magId "33768093" @default.
- W33768093 workType "article" @default.