Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951835544> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2951835544 abstract "This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects. We introduce a formalisation of the security property of data secrecy, the corresponding definitions and proofs." @default.
- W2951835544 created "2019-06-27" @default.
- W2951835544 creator A5049584186 @default.
- W2951835544 date "2014-05-13" @default.
- W2951835544 modified "2023-09-27" @default.
- W2951835544 title "Compositional properties of crypto-based components" @default.
- W2951835544 cites W2964283244 @default.
- W2951835544 hasPublicationYear "2014" @default.
- W2951835544 type Work @default.
- W2951835544 sameAs 2951835544 @default.
- W2951835544 citedByCount "0" @default.
- W2951835544 crossrefType "posted-content" @default.
- W2951835544 hasAuthorship W2951835544A5049584186 @default.
- W2951835544 hasConcept C108710211 @default.
- W2951835544 hasConcept C111472728 @default.
- W2951835544 hasConcept C11413529 @default.
- W2951835544 hasConcept C138885662 @default.
- W2951835544 hasConcept C17435882 @default.
- W2951835544 hasConcept C177264268 @default.
- W2951835544 hasConcept C178489894 @default.
- W2951835544 hasConcept C189950617 @default.
- W2951835544 hasConcept C199360897 @default.
- W2951835544 hasConcept C2524010 @default.
- W2951835544 hasConcept C2776452267 @default.
- W2951835544 hasConcept C33884865 @default.
- W2951835544 hasConcept C33923547 @default.
- W2951835544 hasConcept C38652104 @default.
- W2951835544 hasConcept C40231798 @default.
- W2951835544 hasConcept C41008148 @default.
- W2951835544 hasConcept C41895202 @default.
- W2951835544 hasConcept C80444323 @default.
- W2951835544 hasConceptScore W2951835544C108710211 @default.
- W2951835544 hasConceptScore W2951835544C111472728 @default.
- W2951835544 hasConceptScore W2951835544C11413529 @default.
- W2951835544 hasConceptScore W2951835544C138885662 @default.
- W2951835544 hasConceptScore W2951835544C17435882 @default.
- W2951835544 hasConceptScore W2951835544C177264268 @default.
- W2951835544 hasConceptScore W2951835544C178489894 @default.
- W2951835544 hasConceptScore W2951835544C189950617 @default.
- W2951835544 hasConceptScore W2951835544C199360897 @default.
- W2951835544 hasConceptScore W2951835544C2524010 @default.
- W2951835544 hasConceptScore W2951835544C2776452267 @default.
- W2951835544 hasConceptScore W2951835544C33884865 @default.
- W2951835544 hasConceptScore W2951835544C33923547 @default.
- W2951835544 hasConceptScore W2951835544C38652104 @default.
- W2951835544 hasConceptScore W2951835544C40231798 @default.
- W2951835544 hasConceptScore W2951835544C41008148 @default.
- W2951835544 hasConceptScore W2951835544C41895202 @default.
- W2951835544 hasConceptScore W2951835544C80444323 @default.
- W2951835544 hasLocation W29518355441 @default.
- W2951835544 hasOpenAccess W2951835544 @default.
- W2951835544 hasPrimaryLocation W29518355441 @default.
- W2951835544 hasRelatedWork W1520260193 @default.
- W2951835544 hasRelatedWork W1572353476 @default.
- W2951835544 hasRelatedWork W18341231 @default.
- W2951835544 hasRelatedWork W194467232 @default.
- W2951835544 hasRelatedWork W2015340470 @default.
- W2951835544 hasRelatedWork W2016172583 @default.
- W2951835544 hasRelatedWork W2099537756 @default.
- W2951835544 hasRelatedWork W2134508058 @default.
- W2951835544 hasRelatedWork W2152542375 @default.
- W2951835544 hasRelatedWork W2165175152 @default.
- W2951835544 hasRelatedWork W2269601462 @default.
- W2951835544 hasRelatedWork W2282867171 @default.
- W2951835544 hasRelatedWork W2390002876 @default.
- W2951835544 hasRelatedWork W2952543308 @default.
- W2951835544 hasRelatedWork W2972185435 @default.
- W2951835544 hasRelatedWork W3029143438 @default.
- W2951835544 hasRelatedWork W3030017084 @default.
- W2951835544 hasRelatedWork W3101926357 @default.
- W2951835544 hasRelatedWork W3205600320 @default.
- W2951835544 hasRelatedWork W3212833711 @default.
- W2951835544 isParatext "false" @default.
- W2951835544 isRetracted "false" @default.
- W2951835544 magId "2951835544" @default.
- W2951835544 workType "article" @default.