Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566114438> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1566114438 endingPage "150" @default.
- W1566114438 startingPage "129" @default.
- W1566114438 abstract "A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks in the Java Card Virtual Machine. This paper describes a refined type system for Java Card that enables static checking of applet isolation. With this type system, firewall violations are detected at compile time. Only a special kind of downcast requires dynamic checks." @default.
- W1566114438 created "2016-06-24" @default.
- W1566114438 creator A5021358950 @default.
- W1566114438 creator A5073449487 @default.
- W1566114438 creator A5073853337 @default.
- W1566114438 date "2005-01-01" @default.
- W1566114438 modified "2023-09-27" @default.
- W1566114438 title "A Type System for Checking Applet Isolation in Java Card" @default.
- W1566114438 cites W1501401133 @default.
- W1566114438 cites W1504633425 @default.
- W1566114438 cites W1525726734 @default.
- W1566114438 cites W1526757679 @default.
- W1566114438 cites W1546306366 @default.
- W1566114438 cites W1565777932 @default.
- W1566114438 cites W1569794958 @default.
- W1566114438 cites W1583769822 @default.
- W1566114438 cites W1607529940 @default.
- W1566114438 cites W1627315169 @default.
- W1566114438 cites W1817453294 @default.
- W1566114438 cites W1887681675 @default.
- W1566114438 cites W2073407646 @default.
- W1566114438 cites W2146934772 @default.
- W1566114438 cites W2168475669 @default.
- W1566114438 cites W2482374795 @default.
- W1566114438 doi "https://doi.org/10.1007/978-3-540-30569-9_7" @default.
- W1566114438 hasPublicationYear "2005" @default.
- W1566114438 type Work @default.
- W1566114438 sameAs 1566114438 @default.
- W1566114438 citedByCount "6" @default.
- W1566114438 countsByYear W15661144382013 @default.
- W1566114438 crossrefType "book-chapter" @default.
- W1566114438 hasAuthorship W1566114438A5021358950 @default.
- W1566114438 hasAuthorship W1566114438A5073449487 @default.
- W1566114438 hasAuthorship W1566114438A5073853337 @default.
- W1566114438 hasBestOaLocation W15661144382 @default.
- W1566114438 hasConcept C110406131 @default.
- W1566114438 hasConcept C111919701 @default.
- W1566114438 hasConcept C151340760 @default.
- W1566114438 hasConcept C15524039 @default.
- W1566114438 hasConcept C22847425 @default.
- W1566114438 hasConcept C41008148 @default.
- W1566114438 hasConcept C47747970 @default.
- W1566114438 hasConcept C548217200 @default.
- W1566114438 hasConceptScore W1566114438C110406131 @default.
- W1566114438 hasConceptScore W1566114438C111919701 @default.
- W1566114438 hasConceptScore W1566114438C151340760 @default.
- W1566114438 hasConceptScore W1566114438C15524039 @default.
- W1566114438 hasConceptScore W1566114438C22847425 @default.
- W1566114438 hasConceptScore W1566114438C41008148 @default.
- W1566114438 hasConceptScore W1566114438C47747970 @default.
- W1566114438 hasConceptScore W1566114438C548217200 @default.
- W1566114438 hasLocation W15661144381 @default.
- W1566114438 hasLocation W15661144382 @default.
- W1566114438 hasOpenAccess W1566114438 @default.
- W1566114438 hasPrimaryLocation W15661144381 @default.
- W1566114438 hasRelatedWork W1553390188 @default.
- W1566114438 hasRelatedWork W1563556521 @default.
- W1566114438 hasRelatedWork W1682251955 @default.
- W1566114438 hasRelatedWork W1988795980 @default.
- W1566114438 hasRelatedWork W2140213535 @default.
- W1566114438 hasRelatedWork W2208316448 @default.
- W1566114438 hasRelatedWork W2356312255 @default.
- W1566114438 hasRelatedWork W2383333048 @default.
- W1566114438 hasRelatedWork W2392598858 @default.
- W1566114438 hasRelatedWork W302277691 @default.
- W1566114438 isParatext "false" @default.
- W1566114438 isRetracted "false" @default.
- W1566114438 magId "1566114438" @default.
- W1566114438 workType "book-chapter" @default.