Matches in SemOpenAlex for { <https://semopenalex.org/work/W2363618549> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2363618549 abstract "Based on the dynamic approach to characterizing termination of generic logic program,a dynamic approach to characterizing termination of solved-form fixpoint is researched in this paper,and a sufficient condition of non-termination of solved-form fixpoint of the extended Horn logic model of security protocol is presented.Based on this condition,an approach is represented to predict non-termination of computation of solved-form fixpoint.This approach can predict the non-termination of computing fixpoint by checking new generated rules,and localize the solved-form rules in the extended Horn logic model which cause infinite computations of solved-form fixpoint.The non-termination prediction results will provide the criteria for choosing different verification methods of security protocols,such as accurate methods and abstract methods.The experiment results show the effectiveness of the prediction algorithms." @default.
- W2363618549 created "2016-06-24" @default.
- W2363618549 creator A5054469112 @default.
- W2363618549 date "2011-01-01" @default.
- W2363618549 modified "2023-09-25" @default.
- W2363618549 title "A Dynamic Approach on Quickly Predicting Non-Termination of Logic Program of Security Protocol" @default.
- W2363618549 hasPublicationYear "2011" @default.
- W2363618549 type Work @default.
- W2363618549 sameAs 2363618549 @default.
- W2363618549 citedByCount "0" @default.
- W2363618549 crossrefType "journal-article" @default.
- W2363618549 hasAuthorship W2363618549A5054469112 @default.
- W2363618549 hasConcept C102993220 @default.
- W2363618549 hasConcept C110251889 @default.
- W2363618549 hasConcept C114092440 @default.
- W2363618549 hasConcept C11413529 @default.
- W2363618549 hasConcept C128838566 @default.
- W2363618549 hasConcept C134306372 @default.
- W2363618549 hasConcept C142724271 @default.
- W2363618549 hasConcept C173125200 @default.
- W2363618549 hasConcept C189790780 @default.
- W2363618549 hasConcept C203659156 @default.
- W2363618549 hasConcept C204787440 @default.
- W2363618549 hasConcept C2780385302 @default.
- W2363618549 hasConcept C33923547 @default.
- W2363618549 hasConcept C41008148 @default.
- W2363618549 hasConcept C45374587 @default.
- W2363618549 hasConcept C61445026 @default.
- W2363618549 hasConcept C71924100 @default.
- W2363618549 hasConcept C80444323 @default.
- W2363618549 hasConceptScore W2363618549C102993220 @default.
- W2363618549 hasConceptScore W2363618549C110251889 @default.
- W2363618549 hasConceptScore W2363618549C114092440 @default.
- W2363618549 hasConceptScore W2363618549C11413529 @default.
- W2363618549 hasConceptScore W2363618549C128838566 @default.
- W2363618549 hasConceptScore W2363618549C134306372 @default.
- W2363618549 hasConceptScore W2363618549C142724271 @default.
- W2363618549 hasConceptScore W2363618549C173125200 @default.
- W2363618549 hasConceptScore W2363618549C189790780 @default.
- W2363618549 hasConceptScore W2363618549C203659156 @default.
- W2363618549 hasConceptScore W2363618549C204787440 @default.
- W2363618549 hasConceptScore W2363618549C2780385302 @default.
- W2363618549 hasConceptScore W2363618549C33923547 @default.
- W2363618549 hasConceptScore W2363618549C41008148 @default.
- W2363618549 hasConceptScore W2363618549C45374587 @default.
- W2363618549 hasConceptScore W2363618549C61445026 @default.
- W2363618549 hasConceptScore W2363618549C71924100 @default.
- W2363618549 hasConceptScore W2363618549C80444323 @default.
- W2363618549 hasLocation W23636185491 @default.
- W2363618549 hasOpenAccess W2363618549 @default.
- W2363618549 hasPrimaryLocation W23636185491 @default.
- W2363618549 hasRelatedWork W127483730 @default.
- W2363618549 hasRelatedWork W1572432266 @default.
- W2363618549 hasRelatedWork W1579649201 @default.
- W2363618549 hasRelatedWork W1863652788 @default.
- W2363618549 hasRelatedWork W2022003997 @default.
- W2363618549 hasRelatedWork W2036753951 @default.
- W2363618549 hasRelatedWork W2038013294 @default.
- W2363618549 hasRelatedWork W2060944709 @default.
- W2363618549 hasRelatedWork W2074500093 @default.
- W2363618549 hasRelatedWork W2117189826 @default.
- W2363618549 hasRelatedWork W2126058650 @default.
- W2363618549 hasRelatedWork W2142812040 @default.
- W2363618549 hasRelatedWork W2154016114 @default.
- W2363618549 hasRelatedWork W2158485170 @default.
- W2363618549 hasRelatedWork W2355178617 @default.
- W2363618549 hasRelatedWork W2358190693 @default.
- W2363618549 hasRelatedWork W2383019201 @default.
- W2363618549 hasRelatedWork W2392617917 @default.
- W2363618549 hasRelatedWork W2543899255 @default.
- W2363618549 hasRelatedWork W2906490148 @default.
- W2363618549 isParatext "false" @default.
- W2363618549 isRetracted "false" @default.
- W2363618549 magId "2363618549" @default.
- W2363618549 workType "article" @default.