Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104520160> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2104520160 abstract "In the last year or so, research in the formal analysis of cryptographic protocols has matured to the point where researchers are going beyond the mechanics of verification and considering the problem of providing specification languages that make it easier to specify protocols for analysis. A number of different approaches are being applied. Some are modifying existing formal specification languages, while others are implementing languages that are closely based on existing informal specification styles. Likewise, some are implementing languages that are closely tied to existing tools, while others are implementing toolindependent languages. An effort is also underway to develop a common language, CAPSL, that will serve as an interface to other tools and languages. The purpose of this panel is to bring together those who are working on this problem to compare notes and explore current issues. Some of the questions we will consider are: 1." @default.
- W2104520160 created "2016-06-24" @default.
- W2104520160 creator A5021410622 @default.
- W2104520160 date "2005-08-24" @default.
- W2104520160 modified "2023-09-26" @default.
- W2104520160 title "Panel On Languages For Formal Specification Of Security Protocols" @default.
- W2104520160 cites W2003915781 @default.
- W2104520160 cites W2102786787 @default.
- W2104520160 doi "https://doi.org/10.1109/csfw.1997.596792" @default.
- W2104520160 hasPublicationYear "2005" @default.
- W2104520160 type Work @default.
- W2104520160 sameAs 2104520160 @default.
- W2104520160 citedByCount "3" @default.
- W2104520160 crossrefType "proceedings-article" @default.
- W2104520160 hasAuthorship W2104520160A5021410622 @default.
- W2104520160 hasConcept C111498074 @default.
- W2104520160 hasConcept C115903868 @default.
- W2104520160 hasConcept C116253237 @default.
- W2104520160 hasConcept C14331664 @default.
- W2104520160 hasConcept C146072743 @default.
- W2104520160 hasConcept C178489894 @default.
- W2104520160 hasConcept C199360897 @default.
- W2104520160 hasConcept C201677973 @default.
- W2104520160 hasConcept C2524010 @default.
- W2104520160 hasConcept C28719098 @default.
- W2104520160 hasConcept C33884865 @default.
- W2104520160 hasConcept C33923547 @default.
- W2104520160 hasConcept C38652104 @default.
- W2104520160 hasConcept C41008148 @default.
- W2104520160 hasConcept C75606506 @default.
- W2104520160 hasConceptScore W2104520160C111498074 @default.
- W2104520160 hasConceptScore W2104520160C115903868 @default.
- W2104520160 hasConceptScore W2104520160C116253237 @default.
- W2104520160 hasConceptScore W2104520160C14331664 @default.
- W2104520160 hasConceptScore W2104520160C146072743 @default.
- W2104520160 hasConceptScore W2104520160C178489894 @default.
- W2104520160 hasConceptScore W2104520160C199360897 @default.
- W2104520160 hasConceptScore W2104520160C201677973 @default.
- W2104520160 hasConceptScore W2104520160C2524010 @default.
- W2104520160 hasConceptScore W2104520160C28719098 @default.
- W2104520160 hasConceptScore W2104520160C33884865 @default.
- W2104520160 hasConceptScore W2104520160C33923547 @default.
- W2104520160 hasConceptScore W2104520160C38652104 @default.
- W2104520160 hasConceptScore W2104520160C41008148 @default.
- W2104520160 hasConceptScore W2104520160C75606506 @default.
- W2104520160 hasLocation W21045201601 @default.
- W2104520160 hasOpenAccess W2104520160 @default.
- W2104520160 hasPrimaryLocation W21045201601 @default.
- W2104520160 hasRelatedWork W1490702959 @default.
- W2104520160 hasRelatedWork W1538122200 @default.
- W2104520160 hasRelatedWork W1635800776 @default.
- W2104520160 hasRelatedWork W2030664040 @default.
- W2104520160 hasRelatedWork W2123729420 @default.
- W2104520160 hasRelatedWork W2125886742 @default.
- W2104520160 hasRelatedWork W2143077513 @default.
- W2104520160 hasRelatedWork W2161213615 @default.
- W2104520160 hasRelatedWork W2163915384 @default.
- W2104520160 hasRelatedWork W2166780245 @default.
- W2104520160 hasRelatedWork W2264667761 @default.
- W2104520160 hasRelatedWork W2337586789 @default.
- W2104520160 hasRelatedWork W2359799224 @default.
- W2104520160 hasRelatedWork W2389489592 @default.
- W2104520160 hasRelatedWork W2480388356 @default.
- W2104520160 hasRelatedWork W2912141399 @default.
- W2104520160 hasRelatedWork W2999316761 @default.
- W2104520160 hasRelatedWork W3003354543 @default.
- W2104520160 hasRelatedWork W3006758274 @default.
- W2104520160 hasRelatedWork W3157656936 @default.
- W2104520160 isParatext "false" @default.
- W2104520160 isRetracted "false" @default.
- W2104520160 magId "2104520160" @default.
- W2104520160 workType "article" @default.