Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978717552> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1978717552 endingPage "904" @default.
- W1978717552 startingPage "891" @default.
- W1978717552 abstract "Abstract Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspects in a uniform way based on combinatorial optimisation techniques. The belief logic of Burrows, Abadi and Needham (BAN logic) is viewed as both a specification and proof system and as a ‘protocol programming language’. The paper shows how simulated annealing and genetic algorithms can be used to generate correct and efficient BAN protocols. It also investigates the use of parsimonious and redundant representations." @default.
- W1978717552 created "2016-06-24" @default.
- W1978717552 creator A5035641997 @default.
- W1978717552 creator A5062920640 @default.
- W1978717552 date "2001-12-01" @default.
- W1978717552 modified "2023-09-23" @default.
- W1978717552 title "Protocols are programs too: the meta-heuristic search for security protocols" @default.
- W1978717552 cites W2024060531 @default.
- W1978717552 cites W2074244772 @default.
- W1978717552 cites W2120600989 @default.
- W1978717552 doi "https://doi.org/10.1016/s0950-5849(01)00195-1" @default.
- W1978717552 hasPublicationYear "2001" @default.
- W1978717552 type Work @default.
- W1978717552 sameAs 1978717552 @default.
- W1978717552 citedByCount "47" @default.
- W1978717552 countsByYear W19787175522012 @default.
- W1978717552 countsByYear W19787175522013 @default.
- W1978717552 countsByYear W19787175522014 @default.
- W1978717552 countsByYear W19787175522015 @default.
- W1978717552 countsByYear W19787175522016 @default.
- W1978717552 countsByYear W19787175522017 @default.
- W1978717552 crossrefType "journal-article" @default.
- W1978717552 hasAuthorship W1978717552A5035641997 @default.
- W1978717552 hasAuthorship W1978717552A5062920640 @default.
- W1978717552 hasConcept C11413529 @default.
- W1978717552 hasConcept C115903868 @default.
- W1978717552 hasConcept C154945302 @default.
- W1978717552 hasConcept C173801870 @default.
- W1978717552 hasConcept C178489894 @default.
- W1978717552 hasConcept C2988037039 @default.
- W1978717552 hasConcept C33884865 @default.
- W1978717552 hasConcept C38652104 @default.
- W1978717552 hasConcept C41008148 @default.
- W1978717552 hasConceptScore W1978717552C11413529 @default.
- W1978717552 hasConceptScore W1978717552C115903868 @default.
- W1978717552 hasConceptScore W1978717552C154945302 @default.
- W1978717552 hasConceptScore W1978717552C173801870 @default.
- W1978717552 hasConceptScore W1978717552C178489894 @default.
- W1978717552 hasConceptScore W1978717552C2988037039 @default.
- W1978717552 hasConceptScore W1978717552C33884865 @default.
- W1978717552 hasConceptScore W1978717552C38652104 @default.
- W1978717552 hasConceptScore W1978717552C41008148 @default.
- W1978717552 hasIssue "14" @default.
- W1978717552 hasLocation W19787175521 @default.
- W1978717552 hasOpenAccess W1978717552 @default.
- W1978717552 hasPrimaryLocation W19787175521 @default.
- W1978717552 hasRelatedWork W1774514810 @default.
- W1978717552 hasRelatedWork W2030496847 @default.
- W1978717552 hasRelatedWork W2475764246 @default.
- W1978717552 hasRelatedWork W2734535883 @default.
- W1978717552 hasRelatedWork W2904821893 @default.
- W1978717552 hasRelatedWork W3006656553 @default.
- W1978717552 hasRelatedWork W3007967230 @default.
- W1978717552 hasRelatedWork W4200059141 @default.
- W1978717552 hasRelatedWork W4313313264 @default.
- W1978717552 hasRelatedWork W4320016096 @default.
- W1978717552 hasVolume "43" @default.
- W1978717552 isParatext "false" @default.
- W1978717552 isRetracted "false" @default.
- W1978717552 magId "1978717552" @default.
- W1978717552 workType "article" @default.