Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568036386> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1568036386 endingPage "10" @default.
- W1568036386 startingPage "10" @default.
- W1568036386 abstract "The paper describes a framework for model checking JavaCard applets on the bytecode level. From a set of JavaCard applets we extract their method call graphs using a static analysis tool. The resulting structure is translated into a pushdown system for which the model checking problem for Linear Temporal Logic (LTL) is decidable, and for which there are efficient model checking tools available. The model checking approach of the paper is tailored to the analysis of inter applet (intra card) communications and we demonstrate it using a prototypical example of a purse applet and a set of loyalty applets." @default.
- W1568036386 created "2016-06-24" @default.
- W1568036386 creator A5033460908 @default.
- W1568036386 creator A5048436076 @default.
- W1568036386 creator A5053650458 @default.
- W1568036386 date "2002-11-21" @default.
- W1568036386 modified "2023-10-18" @default.
- W1568036386 title "Model checking of multi-applet javacard applications" @default.
- W1568036386 cites W1491036809 @default.
- W1568036386 cites W1514446453 @default.
- W1568036386 cites W1556332841 @default.
- W1568036386 cites W1589224558 @default.
- W1568036386 cites W1607820520 @default.
- W1568036386 cites W1827592073 @default.
- W1568036386 cites W1905205673 @default.
- W1568036386 cites W2040060046 @default.
- W1568036386 cites W2135274583 @default.
- W1568036386 cites W2145529385 @default.
- W1568036386 cites W2889416943 @default.
- W1568036386 cites W3005728772 @default.
- W1568036386 hasPublicationYear "2002" @default.
- W1568036386 type Work @default.
- W1568036386 sameAs 1568036386 @default.
- W1568036386 citedByCount "6" @default.
- W1568036386 countsByYear W15680363862013 @default.
- W1568036386 crossrefType "proceedings-article" @default.
- W1568036386 hasAuthorship W1568036386A5033460908 @default.
- W1568036386 hasAuthorship W1568036386A5048436076 @default.
- W1568036386 hasAuthorship W1568036386A5053650458 @default.
- W1568036386 hasConcept C110251889 @default.
- W1568036386 hasConcept C153269930 @default.
- W1568036386 hasConcept C15524039 @default.
- W1568036386 hasConcept C168702491 @default.
- W1568036386 hasConcept C177264268 @default.
- W1568036386 hasConcept C199360897 @default.
- W1568036386 hasConcept C2777472213 @default.
- W1568036386 hasConcept C2779818221 @default.
- W1568036386 hasConcept C41008148 @default.
- W1568036386 hasConcept C548217200 @default.
- W1568036386 hasConcept C80444323 @default.
- W1568036386 hasConceptScore W1568036386C110251889 @default.
- W1568036386 hasConceptScore W1568036386C153269930 @default.
- W1568036386 hasConceptScore W1568036386C15524039 @default.
- W1568036386 hasConceptScore W1568036386C168702491 @default.
- W1568036386 hasConceptScore W1568036386C177264268 @default.
- W1568036386 hasConceptScore W1568036386C199360897 @default.
- W1568036386 hasConceptScore W1568036386C2777472213 @default.
- W1568036386 hasConceptScore W1568036386C2779818221 @default.
- W1568036386 hasConceptScore W1568036386C41008148 @default.
- W1568036386 hasConceptScore W1568036386C548217200 @default.
- W1568036386 hasConceptScore W1568036386C80444323 @default.
- W1568036386 hasLocation W15680363861 @default.
- W1568036386 hasOpenAccess W1568036386 @default.
- W1568036386 hasPrimaryLocation W15680363861 @default.
- W1568036386 hasRelatedWork W120135115 @default.
- W1568036386 hasRelatedWork W1491036809 @default.
- W1568036386 hasRelatedWork W1501346358 @default.
- W1568036386 hasRelatedWork W1517789463 @default.
- W1568036386 hasRelatedWork W1539735786 @default.
- W1568036386 hasRelatedWork W1548768164 @default.
- W1568036386 hasRelatedWork W1556566737 @default.
- W1568036386 hasRelatedWork W1564663187 @default.
- W1568036386 hasRelatedWork W1572879631 @default.
- W1568036386 hasRelatedWork W1593793497 @default.
- W1568036386 hasRelatedWork W1607820520 @default.
- W1568036386 hasRelatedWork W2009965218 @default.
- W1568036386 hasRelatedWork W2015640848 @default.
- W1568036386 hasRelatedWork W2036910349 @default.
- W1568036386 hasRelatedWork W2045840663 @default.
- W1568036386 hasRelatedWork W2107445402 @default.
- W1568036386 hasRelatedWork W2142536104 @default.
- W1568036386 hasRelatedWork W2145529385 @default.
- W1568036386 hasRelatedWork W2621212289 @default.
- W1568036386 hasRelatedWork W338991206 @default.
- W1568036386 isParatext "false" @default.
- W1568036386 isRetracted "false" @default.
- W1568036386 magId "1568036386" @default.
- W1568036386 workType "article" @default.