FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156773808> ?p ?o ?g. }

• W2156773808 abstract "Many computers are interconnected through networks, the biggest of them being Internet. Communications over these networks are ruled by protocols: physical networks are just wires (or radio waves) linking computers, providing channels where data can be transmitted; protocols define how data are formatted to go through these channels, and also provide additional features such as error detection and correction. More precisely, a protocol is a sequence of messages exchanged between (two or more) principals. A principal can be a computer, but also—more generally—a (human) user, a process, a server, etc. Sometimes, the identities of the principals involved are important: one must be sure of the other’s identity to proceed. For example, when you connect to your bank’s website, you want be sure that you are really talking to your bank and that nobody is spying on you. You cannot just assume that there is an armored pipe between you and your bank: actually, your messages must go through several intermediate entities (wires, switches, routers), and each of them can be watched or controlled by a possibly malicious intruder. A protocol resistant to intermediate malicious actions is a security protocol. Two main properties are targeted when designing such protocols: authentication and secrecy. These are achieved using cryptography (public-key, shared-key or both), so such protocols are also called cryptographic protocols. This report is mainly about verification of the security properties of cryptographic protocols. We consider especially authentication protocols, for which Clark and Jacob give a survey in [9]. The main target of this report is to present and compare some formal approaches to protocol verification (based on proof systems), and to present in detail a semantics for one of them and prove the corresponding soundness. In this report, formal frameworks are especially considered, where some simplifying assumptions—such as perfect cryptography, uniquely interpretable" @default.
• W2156773808 created "2016-06-24" @default.
• W2156773808 creator A5068146461 @default.
• W2156773808 date "2006-01-01" @default.
• W2156773808 modified "2023-09-27" @default.
• W2156773808 title "Analysis of authentication protocols Intership report" @default.
• W2156773808 cites W1480122568 @default.
• W2156773808 cites W1538016627 @default.
• W2156773808 cites W1597908183 @default.
• W2156773808 cites W1760594424 @default.
• W2156773808 cites W1923391011 @default.
• W2156773808 cites W1966212263 @default.
• W2156773808 cites W2029693536 @default.
• W2156773808 cites W2098339462 @default.
• W2156773808 cites W2098844027 @default.
• W2156773808 cites W2120600989 @default.
• W2156773808 cites W2122984309 @default.
• W2156773808 cites W2131895477 @default.
• W2156773808 cites W2139172211 @default.
• W2156773808 cites W2146973388 @default.
• W2156773808 cites W2150426251 @default.
• W2156773808 cites W2156773905 @default.
• W2156773808 cites W2165477067 @default.
• W2156773808 cites W2169908972 @default.
• W2156773808 cites W2293633287 @default.
• W2156773808 cites W2987907651 @default.
• W2156773808 cites W3039529476 @default.
• W2156773808 cites W3146075203 @default.
• W2156773808 hasPublicationYear "2006" @default.
• W2156773808 type Work @default.
• W2156773808 sameAs 2156773808 @default.
• W2156773808 citedByCount "0" @default.
• W2156773808 crossrefType "journal-article" @default.
• W2156773808 hasAuthorship W2156773808A5068146461 @default.
• W2156773808 hasConcept C110875604 @default.
• W2156773808 hasConcept C136764020 @default.
• W2156773808 hasConcept C142724271 @default.
• W2156773808 hasConcept C144559511 @default.
• W2156773808 hasConcept C148417208 @default.
• W2156773808 hasConcept C148730421 @default.
• W2156773808 hasConcept C151319957 @default.
• W2156773808 hasConcept C15927051 @default.
• W2156773808 hasConcept C178489894 @default.
• W2156773808 hasConcept C203062551 @default.
• W2156773808 hasConcept C204787440 @default.
• W2156773808 hasConcept C21564112 @default.
• W2156773808 hasConcept C26517878 @default.
• W2156773808 hasConcept C2776452267 @default.
• W2156773808 hasConcept C2778000800 @default.
• W2156773808 hasConcept C2780385302 @default.
• W2156773808 hasConcept C31258907 @default.
• W2156773808 hasConcept C33884865 @default.
• W2156773808 hasConcept C36914074 @default.
• W2156773808 hasConcept C38652104 @default.
• W2156773808 hasConcept C41008148 @default.
• W2156773808 hasConcept C71924100 @default.
• W2156773808 hasConcept C99674996 @default.
• W2156773808 hasConceptScore W2156773808C110875604 @default.
• W2156773808 hasConceptScore W2156773808C136764020 @default.
• W2156773808 hasConceptScore W2156773808C142724271 @default.
• W2156773808 hasConceptScore W2156773808C144559511 @default.
• W2156773808 hasConceptScore W2156773808C148417208 @default.
• W2156773808 hasConceptScore W2156773808C148730421 @default.
• W2156773808 hasConceptScore W2156773808C151319957 @default.
• W2156773808 hasConceptScore W2156773808C15927051 @default.
• W2156773808 hasConceptScore W2156773808C178489894 @default.
• W2156773808 hasConceptScore W2156773808C203062551 @default.
• W2156773808 hasConceptScore W2156773808C204787440 @default.
• W2156773808 hasConceptScore W2156773808C21564112 @default.
• W2156773808 hasConceptScore W2156773808C26517878 @default.
• W2156773808 hasConceptScore W2156773808C2776452267 @default.
• W2156773808 hasConceptScore W2156773808C2778000800 @default.
• W2156773808 hasConceptScore W2156773808C2780385302 @default.
• W2156773808 hasConceptScore W2156773808C31258907 @default.
• W2156773808 hasConceptScore W2156773808C33884865 @default.
• W2156773808 hasConceptScore W2156773808C36914074 @default.
• W2156773808 hasConceptScore W2156773808C38652104 @default.
• W2156773808 hasConceptScore W2156773808C41008148 @default.
• W2156773808 hasConceptScore W2156773808C71924100 @default.
• W2156773808 hasConceptScore W2156773808C99674996 @default.
• W2156773808 hasLocation W21567738081 @default.
• W2156773808 hasOpenAccess W2156773808 @default.
• W2156773808 hasPrimaryLocation W21567738081 @default.
• W2156773808 hasRelatedWork W129783273 @default.
• W2156773808 hasRelatedWork W1566288460 @default.
• W2156773808 hasRelatedWork W2009227234 @default.
• W2156773808 hasRelatedWork W2014544880 @default.
• W2156773808 hasRelatedWork W2090535882 @default.
• W2156773808 hasRelatedWork W2103199597 @default.
• W2156773808 hasRelatedWork W2107203445 @default.
• W2156773808 hasRelatedWork W2125534038 @default.
• W2156773808 hasRelatedWork W2127472123 @default.
• W2156773808 hasRelatedWork W2136908128 @default.
• W2156773808 hasRelatedWork W2147805697 @default.
• W2156773808 hasRelatedWork W2152565607 @default.
• W2156773808 hasRelatedWork W2351645295 @default.
• W2156773808 hasRelatedWork W2356078925 @default.
• W2156773808 hasRelatedWork W2388247877 @default.
• W2156773808 hasRelatedWork W2388598254 @default.
• W2156773808 hasRelatedWork W3126703321 @default.

• next