Matches in SemOpenAlex for { <https://semopenalex.org/work/W66418005> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W66418005 endingPage "152" @default.
- W66418005 startingPage "144" @default.
- W66418005 abstract "CoPS is an automatic checker of multilevel system security properties. CoPS can be used to check three different bisimulation-based non-interference properties for systems expressed as terms of the Security Process Algebra (SPA) language. The considered properties are persistent, in the sense that they are preserved at each execution step. Moreover, they imply the Bisimulation-based Non Deducibility on Composition (BNDC) property, whose decidability is still an open problem." @default.
- W66418005 created "2016-06-24" @default.
- W66418005 creator A5015760641 @default.
- W66418005 creator A5027009916 @default.
- W66418005 creator A5077245242 @default.
- W66418005 date "2004-01-01" @default.
- W66418005 modified "2023-09-25" @default.
- W66418005 title "CoPS – Checker of Persistent Security" @default.
- W66418005 cites W1495007874 @default.
- W66418005 cites W1600537467 @default.
- W66418005 cites W1940060540 @default.
- W66418005 cites W1971107784 @default.
- W66418005 cites W1977764760 @default.
- W66418005 cites W2021473546 @default.
- W66418005 cites W2068361557 @default.
- W66418005 cites W2119275622 @default.
- W66418005 cites W2168682577 @default.
- W66418005 doi "https://doi.org/10.1007/978-3-540-24730-2_11" @default.
- W66418005 hasPublicationYear "2004" @default.
- W66418005 type Work @default.
- W66418005 sameAs 66418005 @default.
- W66418005 citedByCount "16" @default.
- W66418005 countsByYear W664180052014 @default.
- W66418005 countsByYear W664180052018 @default.
- W66418005 countsByYear W664180052019 @default.
- W66418005 countsByYear W664180052021 @default.
- W66418005 countsByYear W664180052022 @default.
- W66418005 crossrefType "book-chapter" @default.
- W66418005 hasAuthorship W66418005A5015760641 @default.
- W66418005 hasAuthorship W66418005A5027009916 @default.
- W66418005 hasAuthorship W66418005A5077245242 @default.
- W66418005 hasBestOaLocation W664180051 @default.
- W66418005 hasConcept C110251889 @default.
- W66418005 hasConcept C111472728 @default.
- W66418005 hasConcept C135315306 @default.
- W66418005 hasConcept C136119220 @default.
- W66418005 hasConcept C138885662 @default.
- W66418005 hasConcept C153269930 @default.
- W66418005 hasConcept C161771561 @default.
- W66418005 hasConcept C189950617 @default.
- W66418005 hasConcept C199360897 @default.
- W66418005 hasConcept C202444582 @default.
- W66418005 hasConcept C33923547 @default.
- W66418005 hasConcept C41008148 @default.
- W66418005 hasConcept C80444323 @default.
- W66418005 hasConceptScore W66418005C110251889 @default.
- W66418005 hasConceptScore W66418005C111472728 @default.
- W66418005 hasConceptScore W66418005C135315306 @default.
- W66418005 hasConceptScore W66418005C136119220 @default.
- W66418005 hasConceptScore W66418005C138885662 @default.
- W66418005 hasConceptScore W66418005C153269930 @default.
- W66418005 hasConceptScore W66418005C161771561 @default.
- W66418005 hasConceptScore W66418005C189950617 @default.
- W66418005 hasConceptScore W66418005C199360897 @default.
- W66418005 hasConceptScore W66418005C202444582 @default.
- W66418005 hasConceptScore W66418005C33923547 @default.
- W66418005 hasConceptScore W66418005C41008148 @default.
- W66418005 hasConceptScore W66418005C80444323 @default.
- W66418005 hasLocation W664180051 @default.
- W66418005 hasLocation W664180052 @default.
- W66418005 hasOpenAccess W66418005 @default.
- W66418005 hasPrimaryLocation W664180051 @default.
- W66418005 hasRelatedWork W1493491893 @default.
- W66418005 hasRelatedWork W1544806231 @default.
- W66418005 hasRelatedWork W1574029246 @default.
- W66418005 hasRelatedWork W1576762382 @default.
- W66418005 hasRelatedWork W1581191281 @default.
- W66418005 hasRelatedWork W1596285762 @default.
- W66418005 hasRelatedWork W1601172863 @default.
- W66418005 hasRelatedWork W1607281498 @default.
- W66418005 hasRelatedWork W2583954723 @default.
- W66418005 hasRelatedWork W577075418 @default.
- W66418005 isParatext "false" @default.
- W66418005 isRetracted "false" @default.
- W66418005 magId "66418005" @default.
- W66418005 workType "book-chapter" @default.