Matches in SemOpenAlex for { <https://semopenalex.org/work/W2609153124> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2609153124 endingPage "125" @default.
- W2609153124 startingPage "94" @default.
- W2609153124 abstract "We consider security properties of cryptographic protocols that can be modelled using trace equivalence, a crucial notion when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability. Infinite sets of possible traces are symbolically represented using deducibility constraints. We describe an algorithm that decides trace equivalence for protocols that use standard primitives and that can be represented using such constraints. More precisely, we consider symbolic equivalence between sets of constraint systems, and we also consider disequations. Considering sets and disequations is actually crucial to decide trace equivalence for processes that may involve else branches and/or private channels (for a bounded number of sessions). Our algorithm for deciding symbolic equivalence between sets of constraint systems is implemented and performs well in practice. Unfortunately, it does not scale up well for deciding trace equivalence between processes. This is however the first implemented algorithm deciding trace equivalence on such a large class of processes." @default.
- W2609153124 created "2017-05-05" @default.
- W2609153124 creator A5027210933 @default.
- W2609153124 creator A5065695523 @default.
- W2609153124 creator A5068404835 @default.
- W2609153124 date "2017-08-01" @default.
- W2609153124 modified "2023-10-12" @default.
- W2609153124 title "A procedure for deciding symbolic equivalence between sets of constraint systems" @default.
- W2609153124 cites W1965890562 @default.
- W2609153124 cites W2005880313 @default.
- W2609153124 cites W2033074970 @default.
- W2609153124 cites W2055259417 @default.
- W2609153124 cites W2155993098 @default.
- W2609153124 cites W2914971001 @default.
- W2609153124 doi "https://doi.org/10.1016/j.ic.2017.05.004" @default.
- W2609153124 hasPublicationYear "2017" @default.
- W2609153124 type Work @default.
- W2609153124 sameAs 2609153124 @default.
- W2609153124 citedByCount "11" @default.
- W2609153124 countsByYear W26091531242017 @default.
- W2609153124 countsByYear W26091531242018 @default.
- W2609153124 countsByYear W26091531242019 @default.
- W2609153124 countsByYear W26091531242020 @default.
- W2609153124 countsByYear W26091531242021 @default.
- W2609153124 countsByYear W26091531242022 @default.
- W2609153124 countsByYear W26091531242023 @default.
- W2609153124 crossrefType "journal-article" @default.
- W2609153124 hasAuthorship W2609153124A5027210933 @default.
- W2609153124 hasAuthorship W2609153124A5065695523 @default.
- W2609153124 hasAuthorship W2609153124A5068404835 @default.
- W2609153124 hasBestOaLocation W26091531241 @default.
- W2609153124 hasConcept C118615104 @default.
- W2609153124 hasConcept C136119220 @default.
- W2609153124 hasConcept C199360897 @default.
- W2609153124 hasConcept C202444582 @default.
- W2609153124 hasConcept C2524010 @default.
- W2609153124 hasConcept C2776036281 @default.
- W2609153124 hasConcept C2777904410 @default.
- W2609153124 hasConcept C2779639559 @default.
- W2609153124 hasConcept C2780069185 @default.
- W2609153124 hasConcept C33923547 @default.
- W2609153124 hasConcept C41008148 @default.
- W2609153124 hasConcept C80444323 @default.
- W2609153124 hasConceptScore W2609153124C118615104 @default.
- W2609153124 hasConceptScore W2609153124C136119220 @default.
- W2609153124 hasConceptScore W2609153124C199360897 @default.
- W2609153124 hasConceptScore W2609153124C202444582 @default.
- W2609153124 hasConceptScore W2609153124C2524010 @default.
- W2609153124 hasConceptScore W2609153124C2776036281 @default.
- W2609153124 hasConceptScore W2609153124C2777904410 @default.
- W2609153124 hasConceptScore W2609153124C2779639559 @default.
- W2609153124 hasConceptScore W2609153124C2780069185 @default.
- W2609153124 hasConceptScore W2609153124C33923547 @default.
- W2609153124 hasConceptScore W2609153124C41008148 @default.
- W2609153124 hasConceptScore W2609153124C80444323 @default.
- W2609153124 hasLocation W26091531241 @default.
- W2609153124 hasLocation W26091531242 @default.
- W2609153124 hasLocation W26091531243 @default.
- W2609153124 hasLocation W26091531244 @default.
- W2609153124 hasOpenAccess W2609153124 @default.
- W2609153124 hasPrimaryLocation W26091531241 @default.
- W2609153124 hasRelatedWork W1983849186 @default.
- W2609153124 hasRelatedWork W2025823549 @default.
- W2609153124 hasRelatedWork W2521287362 @default.
- W2609153124 hasRelatedWork W2752815423 @default.
- W2609153124 hasRelatedWork W2801797726 @default.
- W2609153124 hasRelatedWork W2905722102 @default.
- W2609153124 hasRelatedWork W345638404 @default.
- W2609153124 hasRelatedWork W4295529944 @default.
- W2609153124 hasRelatedWork W4306251929 @default.
- W2609153124 hasRelatedWork W844671342 @default.
- W2609153124 hasVolume "255" @default.
- W2609153124 isParatext "false" @default.
- W2609153124 isRetracted "false" @default.
- W2609153124 magId "2609153124" @default.
- W2609153124 workType "article" @default.