Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019423992> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2019423992 abstract "Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. With the ideas of ZQ logic and the security protocols analysis method using Colored Petri Nets, a new method synthesizing ZQ logic and Colored Petri Nets is presented to analyze electronic commerce protocols. The new method is suitable for analyzing both accountability and fairness. However, it needs not to establish a dispute settlement model. Moreover, the ISI protocol is chosen to illustrate how an electronic commerce protocol is analyzed using the new method. An insecure state of the ISI protocol is found. Thus, the ISI protocol does not achieve accountability and fairness. The result is the same as the one in [10] where ZQ logic is used. These are stunning confirmations of the validity of the new method for analyzing electronic commerce protocols." @default.
- W2019423992 created "2016-06-24" @default.
- W2019423992 creator A5014043696 @default.
- W2019423992 creator A5028186635 @default.
- W2019423992 creator A5064057318 @default.
- W2019423992 date "2011-07-01" @default.
- W2019423992 modified "2023-09-26" @default.
- W2019423992 title "Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets" @default.
- W2019423992 cites W1997705191 @default.
- W2019423992 cites W2004822040 @default.
- W2019423992 cites W2065448760 @default.
- W2019423992 cites W2157299411 @default.
- W2019423992 cites W2168677351 @default.
- W2019423992 cites W4241212268 @default.
- W2019423992 cites W1976057180 @default.
- W2019423992 doi "https://doi.org/10.4304/jsw.6.7.1181-1187" @default.
- W2019423992 hasPublicationYear "2011" @default.
- W2019423992 type Work @default.
- W2019423992 sameAs 2019423992 @default.
- W2019423992 citedByCount "7" @default.
- W2019423992 countsByYear W20194239922013 @default.
- W2019423992 countsByYear W20194239922015 @default.
- W2019423992 countsByYear W20194239922017 @default.
- W2019423992 countsByYear W20194239922021 @default.
- W2019423992 crossrefType "journal-article" @default.
- W2019423992 hasAuthorship W2019423992A5014043696 @default.
- W2019423992 hasAuthorship W2019423992A5028186635 @default.
- W2019423992 hasAuthorship W2019423992A5064057318 @default.
- W2019423992 hasConcept C120314980 @default.
- W2019423992 hasConcept C159985019 @default.
- W2019423992 hasConcept C192562407 @default.
- W2019423992 hasConcept C197551870 @default.
- W2019423992 hasConcept C2778307483 @default.
- W2019423992 hasConcept C38677869 @default.
- W2019423992 hasConcept C41008148 @default.
- W2019423992 hasConceptScore W2019423992C120314980 @default.
- W2019423992 hasConceptScore W2019423992C159985019 @default.
- W2019423992 hasConceptScore W2019423992C192562407 @default.
- W2019423992 hasConceptScore W2019423992C197551870 @default.
- W2019423992 hasConceptScore W2019423992C2778307483 @default.
- W2019423992 hasConceptScore W2019423992C38677869 @default.
- W2019423992 hasConceptScore W2019423992C41008148 @default.
- W2019423992 hasIssue "7" @default.
- W2019423992 hasLocation W20194239921 @default.
- W2019423992 hasOpenAccess W2019423992 @default.
- W2019423992 hasPrimaryLocation W20194239921 @default.
- W2019423992 hasRelatedWork W16014793 @default.
- W2019423992 hasRelatedWork W2016959625 @default.
- W2019423992 hasRelatedWork W2047356861 @default.
- W2019423992 hasRelatedWork W2101878283 @default.
- W2019423992 hasRelatedWork W2133287278 @default.
- W2019423992 hasRelatedWork W2168097987 @default.
- W2019423992 hasRelatedWork W2168615635 @default.
- W2019423992 hasRelatedWork W2274714293 @default.
- W2019423992 hasRelatedWork W2354509792 @default.
- W2019423992 hasRelatedWork W2884905799 @default.
- W2019423992 hasVolume "6" @default.
- W2019423992 isParatext "false" @default.
- W2019423992 isRetracted "false" @default.
- W2019423992 magId "2019423992" @default.
- W2019423992 workType "article" @default.