Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140172903> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2140172903 abstract "We present a general framework for provably safe mobile code. It relies on a formal definition of a safety policy and explicit evidence for compliance with this policy which is attached to a binary. Concrete realizations of this framework are proof-carrying code (PCC), where the evidence for safety is a formal proof generated by a certifying compiler and typed assembly language (TAL), where the evidence for safety is given via type annotations propagated throughout the compilation process in typed intermediate languages. Validity of the evidence is established via a small trusted type checker either directly on the binary or indirectly on proof representations in a logical framework (LF)." @default.
- W2140172903 created "2016-06-24" @default.
- W2140172903 creator A5021476649 @default.
- W2140172903 creator A5028720578 @default.
- W2140172903 creator A5045900536 @default.
- W2140172903 creator A5083602029 @default.
- W2140172903 date "2002-11-07" @default.
- W2140172903 modified "2023-09-26" @default.
- W2140172903 title "Automated techniques for provably safe mobile code" @default.
- W2140172903 cites W127506714 @default.
- W2140172903 cites W1482715091 @default.
- W2140172903 cites W1523618566 @default.
- W2140172903 cites W1527145237 @default.
- W2140172903 cites W1588567874 @default.
- W2140172903 cites W1727609483 @default.
- W2140172903 cites W1974190112 @default.
- W2140172903 cites W2005192022 @default.
- W2140172903 cites W2024914463 @default.
- W2140172903 cites W2034711041 @default.
- W2140172903 cites W2043416466 @default.
- W2140172903 cites W2043740265 @default.
- W2140172903 cites W2066550846 @default.
- W2140172903 cites W2069107692 @default.
- W2140172903 cites W2079029390 @default.
- W2140172903 cites W2083469471 @default.
- W2140172903 cites W2140566629 @default.
- W2140172903 cites W2150769115 @default.
- W2140172903 cites W2153297607 @default.
- W2140172903 cites W2160829153 @default.
- W2140172903 cites W2168734799 @default.
- W2140172903 cites W2171691057 @default.
- W2140172903 cites W2171807364 @default.
- W2140172903 cites W60185894 @default.
- W2140172903 cites W69024957 @default.
- W2140172903 cites W77859606 @default.
- W2140172903 cites W1503362450 @default.
- W2140172903 cites W176827147 @default.
- W2140172903 doi "https://doi.org/10.1109/discex.2000.825043" @default.
- W2140172903 hasPublicationYear "2002" @default.
- W2140172903 type Work @default.
- W2140172903 sameAs 2140172903 @default.
- W2140172903 citedByCount "2" @default.
- W2140172903 crossrefType "proceedings-article" @default.
- W2140172903 hasAuthorship W2140172903A5021476649 @default.
- W2140172903 hasAuthorship W2140172903A5028720578 @default.
- W2140172903 hasAuthorship W2140172903A5045900536 @default.
- W2140172903 hasAuthorship W2140172903A5083602029 @default.
- W2140172903 hasConcept C169590947 @default.
- W2140172903 hasConcept C177264268 @default.
- W2140172903 hasConcept C199360897 @default.
- W2140172903 hasConcept C2776760102 @default.
- W2140172903 hasConcept C41008148 @default.
- W2140172903 hasConcept C44779574 @default.
- W2140172903 hasConcept C80444323 @default.
- W2140172903 hasConcept C98045186 @default.
- W2140172903 hasConceptScore W2140172903C169590947 @default.
- W2140172903 hasConceptScore W2140172903C177264268 @default.
- W2140172903 hasConceptScore W2140172903C199360897 @default.
- W2140172903 hasConceptScore W2140172903C2776760102 @default.
- W2140172903 hasConceptScore W2140172903C41008148 @default.
- W2140172903 hasConceptScore W2140172903C44779574 @default.
- W2140172903 hasConceptScore W2140172903C80444323 @default.
- W2140172903 hasConceptScore W2140172903C98045186 @default.
- W2140172903 hasLocation W21401729031 @default.
- W2140172903 hasOpenAccess W2140172903 @default.
- W2140172903 hasPrimaryLocation W21401729031 @default.
- W2140172903 hasRelatedWork W1503028102 @default.
- W2140172903 hasRelatedWork W1609108672 @default.
- W2140172903 hasRelatedWork W2019626854 @default.
- W2140172903 hasRelatedWork W2024535452 @default.
- W2140172903 hasRelatedWork W2106661290 @default.
- W2140172903 hasRelatedWork W2114895548 @default.
- W2140172903 hasRelatedWork W2118557594 @default.
- W2140172903 hasRelatedWork W2121758369 @default.
- W2140172903 hasRelatedWork W2128180740 @default.
- W2140172903 hasRelatedWork W2155374739 @default.
- W2140172903 hasRelatedWork W2160697048 @default.
- W2140172903 hasRelatedWork W2280148102 @default.
- W2140172903 hasRelatedWork W2479804030 @default.
- W2140172903 hasRelatedWork W2480791090 @default.
- W2140172903 hasRelatedWork W25891344 @default.
- W2140172903 hasRelatedWork W262832318 @default.
- W2140172903 hasRelatedWork W3036356155 @default.
- W2140172903 hasRelatedWork W3210291382 @default.
- W2140172903 hasRelatedWork W7039897 @default.
- W2140172903 hasRelatedWork W2844641614 @default.
- W2140172903 isParatext "false" @default.
- W2140172903 isRetracted "false" @default.
- W2140172903 magId "2140172903" @default.
- W2140172903 workType "article" @default.