Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097625963> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2097625963 abstract "The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. The complexity of the secrecy problem for bounded security protocols without freshness check remained open. In this paper, we prove DEXPTIME-completeness of the secrecy problem for bounded security protocols without freshness check, solving the problem left open." @default.
- W2097625963 created "2016-06-24" @default.
- W2097625963 creator A5040264742 @default.
- W2097625963 date "2009-01-01" @default.
- W2097625963 modified "2023-10-16" @default.
- W2097625963 title "Secrecy for Bounded Security Protocols without Freshness Check" @default.
- W2097625963 cites W2029693536 @default.
- W2097625963 cites W2114497629 @default.
- W2097625963 cites W2124953161 @default.
- W2097625963 cites W2153921791 @default.
- W2097625963 doi "https://doi.org/10.1109/securware.2009.13" @default.
- W2097625963 hasPublicationYear "2009" @default.
- W2097625963 type Work @default.
- W2097625963 sameAs 2097625963 @default.
- W2097625963 citedByCount "1" @default.
- W2097625963 crossrefType "proceedings-article" @default.
- W2097625963 hasAuthorship W2097625963A5040264742 @default.
- W2097625963 hasConcept C134306372 @default.
- W2097625963 hasConcept C142724271 @default.
- W2097625963 hasConcept C17231256 @default.
- W2097625963 hasConcept C178489894 @default.
- W2097625963 hasConcept C204787440 @default.
- W2097625963 hasConcept C2776452267 @default.
- W2097625963 hasConcept C2780385302 @default.
- W2097625963 hasConcept C33884865 @default.
- W2097625963 hasConcept C33923547 @default.
- W2097625963 hasConcept C34388435 @default.
- W2097625963 hasConcept C38652104 @default.
- W2097625963 hasConcept C41008148 @default.
- W2097625963 hasConcept C71924100 @default.
- W2097625963 hasConceptScore W2097625963C134306372 @default.
- W2097625963 hasConceptScore W2097625963C142724271 @default.
- W2097625963 hasConceptScore W2097625963C17231256 @default.
- W2097625963 hasConceptScore W2097625963C178489894 @default.
- W2097625963 hasConceptScore W2097625963C204787440 @default.
- W2097625963 hasConceptScore W2097625963C2776452267 @default.
- W2097625963 hasConceptScore W2097625963C2780385302 @default.
- W2097625963 hasConceptScore W2097625963C33884865 @default.
- W2097625963 hasConceptScore W2097625963C33923547 @default.
- W2097625963 hasConceptScore W2097625963C34388435 @default.
- W2097625963 hasConceptScore W2097625963C38652104 @default.
- W2097625963 hasConceptScore W2097625963C41008148 @default.
- W2097625963 hasConceptScore W2097625963C71924100 @default.
- W2097625963 hasLocation W20976259631 @default.
- W2097625963 hasOpenAccess W2097625963 @default.
- W2097625963 hasPrimaryLocation W20976259631 @default.
- W2097625963 hasRelatedWork W2062965938 @default.
- W2097625963 hasRelatedWork W2107199751 @default.
- W2097625963 hasRelatedWork W2363071176 @default.
- W2097625963 hasRelatedWork W2493929861 @default.
- W2097625963 hasRelatedWork W2787252914 @default.
- W2097625963 hasRelatedWork W2915026029 @default.
- W2097625963 hasRelatedWork W3178466341 @default.
- W2097625963 hasRelatedWork W4243812570 @default.
- W2097625963 hasRelatedWork W4300441478 @default.
- W2097625963 hasRelatedWork W565335793 @default.
- W2097625963 isParatext "false" @default.
- W2097625963 isRetracted "false" @default.
- W2097625963 magId "2097625963" @default.
- W2097625963 workType "article" @default.