FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2264679311> ?p ?o ?g. }

• W2264679311 endingPage "373" @default.
• W2264679311 startingPage "337" @default.
• W2264679311 abstract "Meadows has shown how availability issues involving security protocols may be treated by analyzing the time-consuming internal actions of agents with respect to failstop criteria that are cost dependent.In this paper we present a technique which combines Paulson's inductive approach to protocol analysis with Interval Logic in order to create a verification tool that supports analysis of the kind Meadows proposes.Based on a novel notion of packets and a redefined notion of external events we develop theoretical extensions that enable the inductive analysis method to distinguish active attacks . To supplement the global traces of external events we define an inductive theory of (untimed) local traces of internal actions. Notions of timed global traces and timed local traces are introduced and used to develop a method that allows natural modelling of real-time (cost) properties of security protocols.Proof support for the theory developed here is achieved via encoding in Isabelle/ LSILHOL, an Isabelle/HOL environment for (labelled) interval logics. Some small examples of protocols are treated and properties are shown via interactive theorem proving." @default.
• W2264679311 created "2016-06-24" @default.
• W2264679311 creator A5030616612 @default.
• W2264679311 creator A5061967432 @default.
• W2264679311 creator A5083158970 @default.
• W2264679311 date "2003-12-01" @default.
• W2264679311 modified "2023-09-23" @default.
• W2264679311 title "An approach to analyzing availability properties of security protocols" @default.
• W2264679311 cites W1521749785 @default.
• W2264679311 cites W1573589782 @default.
• W2264679311 cites W1720595227 @default.
• W2264679311 cites W1882505084 @default.
• W2264679311 cites W1888060836 @default.
• W2264679311 cites W1994386233 @default.
• W2264679311 cites W2000916035 @default.
• W2264679311 cites W2072189420 @default.
• W2264679311 cites W2103313298 @default.
• W2264679311 cites W2103976539 @default.
• W2264679311 cites W2106192381 @default.
• W2264679311 cites W2110246462 @default.
• W2264679311 cites W2133939589 @default.
• W2264679311 cites W2167467151 @default.
• W2264679311 cites W228572347 @default.
• W2264679311 cites W2598408477 @default.
• W2264679311 hasPublicationYear "2003" @default.
• W2264679311 type Work @default.
• W2264679311 sameAs 2264679311 @default.
• W2264679311 citedByCount "3" @default.
• W2264679311 countsByYear W22646793112013 @default.
• W2264679311 crossrefType "journal-article" @default.
• W2264679311 hasAuthorship W2264679311A5030616612 @default.
• W2264679311 hasAuthorship W2264679311A5061967432 @default.
• W2264679311 hasAuthorship W2264679311A5083158970 @default.
• W2264679311 hasConcept C114614502 @default.
• W2264679311 hasConcept C120314980 @default.
• W2264679311 hasConcept C142724271 @default.
• W2264679311 hasConcept C145420912 @default.
• W2264679311 hasConcept C158379750 @default.
• W2264679311 hasConcept C17435882 @default.
• W2264679311 hasConcept C178489894 @default.
• W2264679311 hasConcept C199360897 @default.
• W2264679311 hasConcept C204787440 @default.
• W2264679311 hasConcept C206880738 @default.
• W2264679311 hasConcept C2778067643 @default.
• W2264679311 hasConcept C2780385302 @default.
• W2264679311 hasConcept C2993131915 @default.
• W2264679311 hasConcept C33884865 @default.
• W2264679311 hasConcept C33923547 @default.
• W2264679311 hasConcept C38652104 @default.
• W2264679311 hasConcept C41008148 @default.
• W2264679311 hasConcept C71924100 @default.
• W2264679311 hasConcept C80444323 @default.
• W2264679311 hasConcept C88610354 @default.
• W2264679311 hasConceptScore W2264679311C114614502 @default.
• W2264679311 hasConceptScore W2264679311C120314980 @default.
• W2264679311 hasConceptScore W2264679311C142724271 @default.
• W2264679311 hasConceptScore W2264679311C145420912 @default.
• W2264679311 hasConceptScore W2264679311C158379750 @default.
• W2264679311 hasConceptScore W2264679311C17435882 @default.
• W2264679311 hasConceptScore W2264679311C178489894 @default.
• W2264679311 hasConceptScore W2264679311C199360897 @default.
• W2264679311 hasConceptScore W2264679311C204787440 @default.
• W2264679311 hasConceptScore W2264679311C206880738 @default.
• W2264679311 hasConceptScore W2264679311C2778067643 @default.
• W2264679311 hasConceptScore W2264679311C2780385302 @default.
• W2264679311 hasConceptScore W2264679311C2993131915 @default.
• W2264679311 hasConceptScore W2264679311C33884865 @default.
• W2264679311 hasConceptScore W2264679311C33923547 @default.
• W2264679311 hasConceptScore W2264679311C38652104 @default.
• W2264679311 hasConceptScore W2264679311C41008148 @default.
• W2264679311 hasConceptScore W2264679311C71924100 @default.
• W2264679311 hasConceptScore W2264679311C80444323 @default.
• W2264679311 hasConceptScore W2264679311C88610354 @default.
• W2264679311 hasIssue "4" @default.
• W2264679311 hasLocation W22646793111 @default.
• W2264679311 hasOpenAccess W2264679311 @default.
• W2264679311 hasPrimaryLocation W22646793111 @default.
• W2264679311 hasRelatedWork W117052899 @default.
• W2264679311 hasRelatedWork W1520260193 @default.
• W2264679311 hasRelatedWork W1520770687 @default.
• W2264679311 hasRelatedWork W1527974336 @default.
• W2264679311 hasRelatedWork W1548945677 @default.
• W2264679311 hasRelatedWork W1553209130 @default.
• W2264679311 hasRelatedWork W2011329056 @default.
• W2264679311 hasRelatedWork W2025542990 @default.
• W2264679311 hasRelatedWork W2057720008 @default.
• W2264679311 hasRelatedWork W2070207454 @default.
• W2264679311 hasRelatedWork W2072189420 @default.
• W2264679311 hasRelatedWork W2085691404 @default.
• W2264679311 hasRelatedWork W2106613101 @default.
• W2264679311 hasRelatedWork W2128844732 @default.
• W2264679311 hasRelatedWork W2299894576 @default.
• W2264679311 hasRelatedWork W2401001010 @default.
• W2264679311 hasRelatedWork W2506291765 @default.
• W2264679311 hasRelatedWork W2945367423 @default.
• W2264679311 hasRelatedWork W3152857967 @default.
• W2264679311 hasRelatedWork W892286096 @default.
• W2264679311 hasVolume "10" @default.

• next