Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294778415> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2294778415 abstract "Cryptographic types are a way to express cryptographic guarantees (of secrecy and integrity) in a type system for a network programming language. This allows some of these guarantees to be checked statically, before a network program executes. Where dynamic checks are required, these are represented at the source language level as dynamic type-checking, and are translated by the compiler to lower level cryptographic operations. Static checking avoids the unnecessary overhead of run-time cryptographic operations where communication is through a trusted medium (e.g. the OS kernel, or a trusted subnet), and also provides static guarantees of the reliability of a network application. Cryptographic types can also be used to build application-specific security protocols, where type-checking in the lower layers of the protocol stack verifies security properties for upper layers. Cryptographic types are described formally using a process calculus, the ec-calculus. Correctness is verified for a scheme for compiling type operations to cryptographic operations." @default.
- W2294778415 created "2016-06-24" @default.
- W2294778415 creator A5084881756 @default.
- W2294778415 date "2003-06-25" @default.
- W2294778415 modified "2023-10-16" @default.
- W2294778415 title "Cryptographic types" @default.
- W2294778415 cites W1487583155 @default.
- W2294778415 cites W1505578292 @default.
- W2294778415 cites W1518533182 @default.
- W2294778415 cites W1523525039 @default.
- W2294778415 cites W1562901937 @default.
- W2294778415 cites W1591694044 @default.
- W2294778415 cites W1841523394 @default.
- W2294778415 cites W1965012291 @default.
- W2294778415 cites W1966219798 @default.
- W2294778415 cites W1987203566 @default.
- W2294778415 cites W1991354622 @default.
- W2294778415 cites W1994676271 @default.
- W2294778415 cites W1995469872 @default.
- W2294778415 cites W2011333687 @default.
- W2294778415 cites W2019545801 @default.
- W2294778415 cites W2024300530 @default.
- W2294778415 cites W2034419863 @default.
- W2294778415 cites W2034711041 @default.
- W2294778415 cites W2076212434 @default.
- W2294778415 cites W2097166325 @default.
- W2294778415 cites W2101085206 @default.
- W2294778415 cites W2103201802 @default.
- W2294778415 cites W2104130981 @default.
- W2294778415 cites W2104204098 @default.
- W2294778415 cites W2110012131 @default.
- W2294778415 cites W2111477637 @default.
- W2294778415 cites W2127625071 @default.
- W2294778415 cites W2129278597 @default.
- W2294778415 cites W2136134319 @default.
- W2294778415 cites W2144711132 @default.
- W2294778415 cites W2150735864 @default.
- W2294778415 cites W2150769115 @default.
- W2294778415 cites W2161246822 @default.
- W2294778415 cites W2170496240 @default.
- W2294778415 cites W2171807364 @default.
- W2294778415 cites W2481588761 @default.
- W2294778415 cites W2987525079 @default.
- W2294778415 cites W3023231920 @default.
- W2294778415 cites W2067580212 @default.
- W2294778415 doi "https://doi.org/10.1109/csfw.2002.1021819" @default.
- W2294778415 hasPublicationYear "2003" @default.
- W2294778415 type Work @default.
- W2294778415 sameAs 2294778415 @default.
- W2294778415 citedByCount "15" @default.
- W2294778415 countsByYear W22947784152014 @default.
- W2294778415 crossrefType "proceedings-article" @default.
- W2294778415 hasAuthorship W2294778415A5084881756 @default.
- W2294778415 hasConcept C15927051 @default.
- W2294778415 hasConcept C165511393 @default.
- W2294778415 hasConcept C178489894 @default.
- W2294778415 hasConcept C199360897 @default.
- W2294778415 hasConcept C33884865 @default.
- W2294778415 hasConcept C38652104 @default.
- W2294778415 hasConcept C41008148 @default.
- W2294778415 hasConcept C55439883 @default.
- W2294778415 hasConceptScore W2294778415C15927051 @default.
- W2294778415 hasConceptScore W2294778415C165511393 @default.
- W2294778415 hasConceptScore W2294778415C178489894 @default.
- W2294778415 hasConceptScore W2294778415C199360897 @default.
- W2294778415 hasConceptScore W2294778415C33884865 @default.
- W2294778415 hasConceptScore W2294778415C38652104 @default.
- W2294778415 hasConceptScore W2294778415C41008148 @default.
- W2294778415 hasConceptScore W2294778415C55439883 @default.
- W2294778415 hasLocation W22947784151 @default.
- W2294778415 hasOpenAccess W2294778415 @default.
- W2294778415 hasPrimaryLocation W22947784151 @default.
- W2294778415 hasRelatedWork W1515386533 @default.
- W2294778415 hasRelatedWork W1562434331 @default.
- W2294778415 hasRelatedWork W1599218322 @default.
- W2294778415 hasRelatedWork W1793323729 @default.
- W2294778415 hasRelatedWork W2391430321 @default.
- W2294778415 hasRelatedWork W2397688157 @default.
- W2294778415 hasRelatedWork W2400382143 @default.
- W2294778415 hasRelatedWork W2553814998 @default.
- W2294778415 hasRelatedWork W2748952813 @default.
- W2294778415 hasRelatedWork W4205966460 @default.
- W2294778415 isParatext "false" @default.
- W2294778415 isRetracted "false" @default.
- W2294778415 magId "2294778415" @default.
- W2294778415 workType "article" @default.