Matches in SemOpenAlex for { <https://semopenalex.org/work/W1884873696> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1884873696 abstract "This paper deals with an approach to security analysis of TCP/IP-based computer networks. The method developed stems from a formal model of network topology with changing link states, and deploys bounded model checking of network security properties supported by SAT-based decision procedure. Its implementation consists of a set of tools that provide automatic analysis of router configurations, network topologies, and states with respect to checked properties. While the paper aims at supporting a real practice, its form strives to be exact enough to explain the principles of the method in more detail." @default.
- W1884873696 created "2016-06-24" @default.
- W1884873696 creator A5001527809 @default.
- W1884873696 creator A5003268701 @default.
- W1884873696 creator A5073492259 @default.
- W1884873696 creator A5077755743 @default.
- W1884873696 creator A5083677026 @default.
- W1884873696 date "2010-01-01" @default.
- W1884873696 modified "2023-09-26" @default.
- W1884873696 title "SECURITY ANALYSIS OF TCP/IP NETWORKS - An Approach to Automatic Analysis of Network Security Properties" @default.
- W1884873696 cites W1483817343 @default.
- W1884873696 cites W1583869287 @default.
- W1884873696 cites W1590752147 @default.
- W1884873696 cites W1860215963 @default.
- W1884873696 cites W2104588447 @default.
- W1884873696 cites W2104898295 @default.
- W1884873696 cites W2105455406 @default.
- W1884873696 cites W2120237629 @default.
- W1884873696 cites W2125311704 @default.
- W1884873696 cites W2140069682 @default.
- W1884873696 cites W2158390457 @default.
- W1884873696 cites W2339102515 @default.
- W1884873696 cites W2913459036 @default.
- W1884873696 cites W59853195 @default.
- W1884873696 cites W80885651 @default.
- W1884873696 doi "https://doi.org/10.5220/0002838300050011" @default.
- W1884873696 hasPublicationYear "2010" @default.
- W1884873696 type Work @default.
- W1884873696 sameAs 1884873696 @default.
- W1884873696 citedByCount "2" @default.
- W1884873696 countsByYear W18848736962013 @default.
- W1884873696 crossrefType "proceedings-article" @default.
- W1884873696 hasAuthorship W1884873696A5001527809 @default.
- W1884873696 hasAuthorship W1884873696A5003268701 @default.
- W1884873696 hasAuthorship W1884873696A5073492259 @default.
- W1884873696 hasAuthorship W1884873696A5077755743 @default.
- W1884873696 hasAuthorship W1884873696A5083677026 @default.
- W1884873696 hasBestOaLocation W18848736961 @default.
- W1884873696 hasConcept C182590292 @default.
- W1884873696 hasConcept C31258907 @default.
- W1884873696 hasConcept C38369872 @default.
- W1884873696 hasConcept C38652104 @default.
- W1884873696 hasConcept C41008148 @default.
- W1884873696 hasConceptScore W1884873696C182590292 @default.
- W1884873696 hasConceptScore W1884873696C31258907 @default.
- W1884873696 hasConceptScore W1884873696C38369872 @default.
- W1884873696 hasConceptScore W1884873696C38652104 @default.
- W1884873696 hasConceptScore W1884873696C41008148 @default.
- W1884873696 hasLocation W18848736961 @default.
- W1884873696 hasOpenAccess W1884873696 @default.
- W1884873696 hasPrimaryLocation W18848736961 @default.
- W1884873696 hasRelatedWork W1662302375 @default.
- W1884873696 hasRelatedWork W1965929227 @default.
- W1884873696 hasRelatedWork W2157004272 @default.
- W1884873696 hasRelatedWork W2374827579 @default.
- W1884873696 hasRelatedWork W2401944815 @default.
- W1884873696 hasRelatedWork W2566384264 @default.
- W1884873696 hasRelatedWork W2787549754 @default.
- W1884873696 hasRelatedWork W2802943093 @default.
- W1884873696 hasRelatedWork W3013089361 @default.
- W1884873696 hasRelatedWork W3097516135 @default.
- W1884873696 isParatext "false" @default.
- W1884873696 isRetracted "false" @default.
- W1884873696 magId "1884873696" @default.
- W1884873696 workType "article" @default.