Matches in SemOpenAlex for { <https://semopenalex.org/work/W2374634705> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2374634705 abstract "The ideal is defined as an algebraic structure of invariant-sets in a strand space model,where the key procedure of a formal analysis of security protocols can be regarded as constructing some invariant-sets,i.e.algebras.The bounds on the abilities of the penetrator are described using the properties of ideals.In this paper,we define the mapping hash: K×B ~(n-1)→B and extend the sub-term relations in the original model.We also obtain that the decidable theorem for honesty of ideals still holds as it is described under the extended sub-term relations.Finally,the theorem for the satisfiability of decidable conditions of honest ideals and a new algorithm for constructing invariant-sets are proposed." @default.
- W2374634705 created "2016-06-24" @default.
- W2374634705 creator A5009465808 @default.
- W2374634705 date "2006-01-01" @default.
- W2374634705 modified "2023-09-28" @default.
- W2374634705 title "A new algorithm for constructing invariant-sets based on strand spaces" @default.
- W2374634705 hasPublicationYear "2006" @default.
- W2374634705 type Work @default.
- W2374634705 sameAs 2374634705 @default.
- W2374634705 citedByCount "0" @default.
- W2374634705 crossrefType "journal-article" @default.
- W2374634705 hasAuthorship W2374634705A5009465808 @default.
- W2374634705 hasConcept C11413529 @default.
- W2374634705 hasConcept C118615104 @default.
- W2374634705 hasConcept C134306372 @default.
- W2374634705 hasConcept C136119220 @default.
- W2374634705 hasConcept C153269930 @default.
- W2374634705 hasConcept C168773769 @default.
- W2374634705 hasConcept C190470478 @default.
- W2374634705 hasConcept C202444582 @default.
- W2374634705 hasConcept C33923547 @default.
- W2374634705 hasConcept C37914503 @default.
- W2374634705 hasConcept C41008148 @default.
- W2374634705 hasConcept C80444323 @default.
- W2374634705 hasConcept C9376300 @default.
- W2374634705 hasConceptScore W2374634705C11413529 @default.
- W2374634705 hasConceptScore W2374634705C118615104 @default.
- W2374634705 hasConceptScore W2374634705C134306372 @default.
- W2374634705 hasConceptScore W2374634705C136119220 @default.
- W2374634705 hasConceptScore W2374634705C153269930 @default.
- W2374634705 hasConceptScore W2374634705C168773769 @default.
- W2374634705 hasConceptScore W2374634705C190470478 @default.
- W2374634705 hasConceptScore W2374634705C202444582 @default.
- W2374634705 hasConceptScore W2374634705C33923547 @default.
- W2374634705 hasConceptScore W2374634705C37914503 @default.
- W2374634705 hasConceptScore W2374634705C41008148 @default.
- W2374634705 hasConceptScore W2374634705C80444323 @default.
- W2374634705 hasConceptScore W2374634705C9376300 @default.
- W2374634705 hasLocation W23746347051 @default.
- W2374634705 hasOpenAccess W2374634705 @default.
- W2374634705 hasPrimaryLocation W23746347051 @default.
- W2374634705 hasRelatedWork W115604927 @default.
- W2374634705 hasRelatedWork W1589111583 @default.
- W2374634705 hasRelatedWork W1662485233 @default.
- W2374634705 hasRelatedWork W2080636922 @default.
- W2374634705 hasRelatedWork W2101060997 @default.
- W2374634705 hasRelatedWork W2323500172 @default.
- W2374634705 hasRelatedWork W2541453503 @default.
- W2374634705 hasRelatedWork W2581021621 @default.
- W2374634705 hasRelatedWork W2611102007 @default.
- W2374634705 hasRelatedWork W2725139747 @default.
- W2374634705 hasRelatedWork W2763954298 @default.
- W2374634705 hasRelatedWork W2791949520 @default.
- W2374634705 hasRelatedWork W2902464132 @default.
- W2374634705 hasRelatedWork W2951510345 @default.
- W2374634705 hasRelatedWork W2963593868 @default.
- W2374634705 hasRelatedWork W2979625132 @default.
- W2374634705 hasRelatedWork W3029118496 @default.
- W2374634705 hasRelatedWork W1516689377 @default.
- W2374634705 hasRelatedWork W2182385777 @default.
- W2374634705 hasRelatedWork W2943931381 @default.
- W2374634705 isParatext "false" @default.
- W2374634705 isRetracted "false" @default.
- W2374634705 magId "2374634705" @default.
- W2374634705 workType "article" @default.