Matches in SemOpenAlex for { <https://semopenalex.org/work/W1525779663> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1525779663 abstract "This paper presents an abstract formal framework for authentication using the standardised formal description technique LOTOS. The purpose of this framework is to investigate the abstract definition of authentication in a standardised formal language and to illustrate how to put some recent standardisation activities on a formal basis. Two authentication protocols are specified as examples of how the framework may be used in the specification and analysis of authentication." @default.
- W1525779663 created "2016-06-24" @default.
- W1525779663 creator A5091630171 @default.
- W1525779663 date "1992-01-01" @default.
- W1525779663 modified "2023-09-23" @default.
- W1525779663 title "A formal framework for authentication" @default.
- W1525779663 cites W2023719829 @default.
- W1525779663 cites W2115674733 @default.
- W1525779663 cites W2121372686 @default.
- W1525779663 cites W2146973388 @default.
- W1525779663 cites W2175661655 @default.
- W1525779663 doi "https://doi.org/10.1007/bfb0013903" @default.
- W1525779663 hasPublicationYear "1992" @default.
- W1525779663 type Work @default.
- W1525779663 sameAs 1525779663 @default.
- W1525779663 citedByCount "6" @default.
- W1525779663 crossrefType "book-chapter" @default.
- W1525779663 hasAuthorship W1525779663A5091630171 @default.
- W1525779663 hasConcept C111498074 @default.
- W1525779663 hasConcept C115903868 @default.
- W1525779663 hasConcept C116253237 @default.
- W1525779663 hasConcept C146072743 @default.
- W1525779663 hasConcept C148417208 @default.
- W1525779663 hasConcept C199360897 @default.
- W1525779663 hasConcept C21564112 @default.
- W1525779663 hasConcept C2985583900 @default.
- W1525779663 hasConcept C38652104 @default.
- W1525779663 hasConcept C41008148 @default.
- W1525779663 hasConcept C75606506 @default.
- W1525779663 hasConceptScore W1525779663C111498074 @default.
- W1525779663 hasConceptScore W1525779663C115903868 @default.
- W1525779663 hasConceptScore W1525779663C116253237 @default.
- W1525779663 hasConceptScore W1525779663C146072743 @default.
- W1525779663 hasConceptScore W1525779663C148417208 @default.
- W1525779663 hasConceptScore W1525779663C199360897 @default.
- W1525779663 hasConceptScore W1525779663C21564112 @default.
- W1525779663 hasConceptScore W1525779663C2985583900 @default.
- W1525779663 hasConceptScore W1525779663C38652104 @default.
- W1525779663 hasConceptScore W1525779663C41008148 @default.
- W1525779663 hasConceptScore W1525779663C75606506 @default.
- W1525779663 hasLocation W15257796631 @default.
- W1525779663 hasOpenAccess W1525779663 @default.
- W1525779663 hasPrimaryLocation W15257796631 @default.
- W1525779663 hasRelatedWork W1481518662 @default.
- W1525779663 hasRelatedWork W1520592338 @default.
- W1525779663 hasRelatedWork W1537154714 @default.
- W1525779663 hasRelatedWork W1560121789 @default.
- W1525779663 hasRelatedWork W1586621202 @default.
- W1525779663 hasRelatedWork W1898212773 @default.
- W1525779663 hasRelatedWork W1950768068 @default.
- W1525779663 hasRelatedWork W2043563043 @default.
- W1525779663 hasRelatedWork W2054360185 @default.
- W1525779663 hasRelatedWork W2102922499 @default.
- W1525779663 hasRelatedWork W2140464851 @default.
- W1525779663 hasRelatedWork W2214314364 @default.
- W1525779663 hasRelatedWork W2272271980 @default.
- W1525779663 hasRelatedWork W2281290412 @default.
- W1525779663 hasRelatedWork W2349093121 @default.
- W1525779663 hasRelatedWork W2387009829 @default.
- W1525779663 hasRelatedWork W2390841910 @default.
- W1525779663 hasRelatedWork W2393395175 @default.
- W1525779663 hasRelatedWork W47868186 @default.
- W1525779663 hasRelatedWork W2096716248 @default.
- W1525779663 isParatext "false" @default.
- W1525779663 isRetracted "false" @default.
- W1525779663 magId "1525779663" @default.
- W1525779663 workType "book-chapter" @default.