Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566459874> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1566459874 endingPage "447" @default.
- W1566459874 startingPage "446" @default.
- W1566459874 abstract "Current approaches to mobile code safety – inspired by the technique of Proof-Carrying Code (PCC) [4] – associate safety information (in the form of a certificate) to programs. The certificate (or proof) is created by the code supplier at compile time, and packaged along with the untrusted code. The consumer who receives the code+certificate package can then run a checker which, by a straightforward inspection of the code and the certificate, is able to verify the validity of the certificate and thus compliance with the safety policy. The main practical difficulty of PCC techniques is in generating safety certificates which at the same time: i) allow expressing interesting safety properties, ii) can be generated automatically and, iii) are easy and efficient to check." @default.
- W1566459874 created "2016-06-24" @default.
- W1566459874 creator A5038492725 @default.
- W1566459874 creator A5073531919 @default.
- W1566459874 creator A5091905437 @default.
- W1566459874 date "2004-01-01" @default.
- W1566459874 modified "2023-10-03" @default.
- W1566459874 title "Abstract Interpretation-Based Mobile Code Certification" @default.
- W1566459874 cites W1533556407 @default.
- W1566459874 cites W2034711041 @default.
- W1566459874 cites W2043100293 @default.
- W1566459874 cites W2163660741 @default.
- W1566459874 doi "https://doi.org/10.1007/978-3-540-27775-0_31" @default.
- W1566459874 hasPublicationYear "2004" @default.
- W1566459874 type Work @default.
- W1566459874 sameAs 1566459874 @default.
- W1566459874 citedByCount "2" @default.
- W1566459874 crossrefType "book-chapter" @default.
- W1566459874 hasAuthorship W1566459874A5038492725 @default.
- W1566459874 hasAuthorship W1566459874A5073531919 @default.
- W1566459874 hasAuthorship W1566459874A5091905437 @default.
- W1566459874 hasBestOaLocation W15664598742 @default.
- W1566459874 hasConcept C148730421 @default.
- W1566459874 hasConcept C167529545 @default.
- W1566459874 hasConcept C169590947 @default.
- W1566459874 hasConcept C177264268 @default.
- W1566459874 hasConcept C17744445 @default.
- W1566459874 hasConcept C199360897 @default.
- W1566459874 hasConcept C199539241 @default.
- W1566459874 hasConcept C200833197 @default.
- W1566459874 hasConcept C203062551 @default.
- W1566459874 hasConcept C2776760102 @default.
- W1566459874 hasConcept C2780654840 @default.
- W1566459874 hasConcept C38652104 @default.
- W1566459874 hasConcept C41008148 @default.
- W1566459874 hasConcept C46304622 @default.
- W1566459874 hasConcept C80444323 @default.
- W1566459874 hasConcept C93636275 @default.
- W1566459874 hasConcept C96865113 @default.
- W1566459874 hasConceptScore W1566459874C148730421 @default.
- W1566459874 hasConceptScore W1566459874C167529545 @default.
- W1566459874 hasConceptScore W1566459874C169590947 @default.
- W1566459874 hasConceptScore W1566459874C177264268 @default.
- W1566459874 hasConceptScore W1566459874C17744445 @default.
- W1566459874 hasConceptScore W1566459874C199360897 @default.
- W1566459874 hasConceptScore W1566459874C199539241 @default.
- W1566459874 hasConceptScore W1566459874C200833197 @default.
- W1566459874 hasConceptScore W1566459874C203062551 @default.
- W1566459874 hasConceptScore W1566459874C2776760102 @default.
- W1566459874 hasConceptScore W1566459874C2780654840 @default.
- W1566459874 hasConceptScore W1566459874C38652104 @default.
- W1566459874 hasConceptScore W1566459874C41008148 @default.
- W1566459874 hasConceptScore W1566459874C46304622 @default.
- W1566459874 hasConceptScore W1566459874C80444323 @default.
- W1566459874 hasConceptScore W1566459874C93636275 @default.
- W1566459874 hasConceptScore W1566459874C96865113 @default.
- W1566459874 hasLocation W15664598741 @default.
- W1566459874 hasLocation W15664598742 @default.
- W1566459874 hasOpenAccess W1566459874 @default.
- W1566459874 hasPrimaryLocation W15664598741 @default.
- W1566459874 hasRelatedWork W1566459874 @default.
- W1566459874 hasRelatedWork W2013637613 @default.
- W1566459874 hasRelatedWork W2020401323 @default.
- W1566459874 hasRelatedWork W2137908418 @default.
- W1566459874 hasRelatedWork W2366104015 @default.
- W1566459874 hasRelatedWork W3145485722 @default.
- W1566459874 hasRelatedWork W4210686566 @default.
- W1566459874 hasRelatedWork W181946040 @default.
- W1566459874 hasRelatedWork W2167331976 @default.
- W1566459874 hasRelatedWork W2914672392 @default.
- W1566459874 isParatext "false" @default.
- W1566459874 isRetracted "false" @default.
- W1566459874 magId "1566459874" @default.
- W1566459874 workType "book-chapter" @default.