Matches in SemOpenAlex for { <https://semopenalex.org/work/W2611334078> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2611334078 endingPage "73" @default.
- W2611334078 startingPage "63" @default.
- W2611334078 abstract "This paper discusses the problem of teaching provable security in cryptography when studying information security. The concept of provable security is one of the most important in modern cryptography, soit is necessary to integrate it into the syllabus on cryptographic protocols. Now provable security is not rare thing in basic cryptography courses. However, security proofs for cryptographic protocols are far more complicated than for primitives. We suggest the way of embedding Sequence of Games technique, Universally Composability framework, module design of protocols and other techniques into the cryptography protocols course. Our experience of teaching formal security proofs for cryptographic protocols brings quite positive effect for students’ research and development." @default.
- W2611334078 created "2017-05-12" @default.
- W2611334078 creator A5040408323 @default.
- W2611334078 creator A5073542860 @default.
- W2611334078 date "2017-01-01" @default.
- W2611334078 modified "2023-09-27" @default.
- W2611334078 title "Studying Formal Security Proofs for Cryptographic Protocols" @default.
- W2611334078 cites W146244851 @default.
- W2611334078 cites W1499934958 @default.
- W2611334078 cites W1885156594 @default.
- W2611334078 cites W1892798954 @default.
- W2611334078 cites W1970606468 @default.
- W2611334078 cites W1988245494 @default.
- W2611334078 cites W2010939995 @default.
- W2611334078 cites W2102922499 @default.
- W2611334078 cites W2109394932 @default.
- W2611334078 cites W2141420453 @default.
- W2611334078 cites W2171440500 @default.
- W2611334078 cites W2475990049 @default.
- W2611334078 cites W2531300081 @default.
- W2611334078 cites W4210300416 @default.
- W2611334078 cites W95071708 @default.
- W2611334078 doi "https://doi.org/10.1007/978-3-319-58553-6_6" @default.
- W2611334078 hasPublicationYear "2017" @default.
- W2611334078 type Work @default.
- W2611334078 sameAs 2611334078 @default.
- W2611334078 citedByCount "1" @default.
- W2611334078 countsByYear W26113340782018 @default.
- W2611334078 crossrefType "book-chapter" @default.
- W2611334078 hasAuthorship W2611334078A5040408323 @default.
- W2611334078 hasAuthorship W2611334078A5073542860 @default.
- W2611334078 hasConcept C108710211 @default.
- W2611334078 hasConcept C120314980 @default.
- W2611334078 hasConcept C131672422 @default.
- W2611334078 hasConcept C15927051 @default.
- W2611334078 hasConcept C165511393 @default.
- W2611334078 hasConcept C165751822 @default.
- W2611334078 hasConcept C178489894 @default.
- W2611334078 hasConcept C2524010 @default.
- W2611334078 hasConcept C2778814252 @default.
- W2611334078 hasConcept C33884865 @default.
- W2611334078 hasConcept C33923547 @default.
- W2611334078 hasConcept C38652104 @default.
- W2611334078 hasConcept C41008148 @default.
- W2611334078 hasConcept C80444323 @default.
- W2611334078 hasConceptScore W2611334078C108710211 @default.
- W2611334078 hasConceptScore W2611334078C120314980 @default.
- W2611334078 hasConceptScore W2611334078C131672422 @default.
- W2611334078 hasConceptScore W2611334078C15927051 @default.
- W2611334078 hasConceptScore W2611334078C165511393 @default.
- W2611334078 hasConceptScore W2611334078C165751822 @default.
- W2611334078 hasConceptScore W2611334078C178489894 @default.
- W2611334078 hasConceptScore W2611334078C2524010 @default.
- W2611334078 hasConceptScore W2611334078C2778814252 @default.
- W2611334078 hasConceptScore W2611334078C33884865 @default.
- W2611334078 hasConceptScore W2611334078C33923547 @default.
- W2611334078 hasConceptScore W2611334078C38652104 @default.
- W2611334078 hasConceptScore W2611334078C41008148 @default.
- W2611334078 hasConceptScore W2611334078C80444323 @default.
- W2611334078 hasLocation W26113340781 @default.
- W2611334078 hasOpenAccess W2611334078 @default.
- W2611334078 hasPrimaryLocation W26113340781 @default.
- W2611334078 hasRelatedWork W1554274402 @default.
- W2611334078 hasRelatedWork W2008685380 @default.
- W2611334078 hasRelatedWork W2121424354 @default.
- W2611334078 hasRelatedWork W2611334078 @default.
- W2611334078 hasRelatedWork W2949937073 @default.
- W2611334078 hasRelatedWork W2972185435 @default.
- W2611334078 hasRelatedWork W3130319105 @default.
- W2611334078 hasRelatedWork W3187752969 @default.
- W2611334078 hasRelatedWork W4315630650 @default.
- W2611334078 hasRelatedWork W60473256 @default.
- W2611334078 isParatext "false" @default.
- W2611334078 isRetracted "false" @default.
- W2611334078 magId "2611334078" @default.
- W2611334078 workType "book-chapter" @default.