Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000853721> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2000853721 abstract "Abstract Software systems play an important role in social infrastructures, and in the public and private sectors, for example in core banking, enterprise resource planning systems, electronic medical record systems, telephone exchange systems, etc. In such fundamental systems, we desire not only correctness but also robustness. Formal methods, such as software verification, have focused on correctness rather than robustness. The Spice calculus, which was proposed by Nishizaki et al., is a calculus process which enables us to formalize and analyze the resistance of communication protocols against Denial-of-Service attacks. The key idea of the analysis is analyzing costs of initiators and responders in communication protocols. In this paper, we extend the target area of systems to be analyzed by the Spice calculus and describe a new analysis methodology for distributed systems. We demonstrate analysis of a telephone exchange system, as an example of our methodology. In this paper, we extend the target area of systems to be analyzed by the Spice calculus and show a new analysis methodology for distributed systems. We demonstrate analysis of a telephone exchange system, as an example of our methodology. We set up ISUP of Signaling System No. 7 as a target and formalized a simple telephone network based on it in the framework of the Spice calculus. We then analyzed its connection establishing process and computation cost consumed the connection establishment." @default.
- W2000853721 created "2016-06-24" @default.
- W2000853721 creator A5000660092 @default.
- W2000853721 creator A5024158669 @default.
- W2000853721 date "2014-01-01" @default.
- W2000853721 modified "2023-09-26" @default.
- W2000853721 title "Formalization of Signaling System by Process Calculus" @default.
- W2000853721 cites W1508924108 @default.
- W2000853721 cites W1526043265 @default.
- W2000853721 cites W1564370584 @default.
- W2000853721 cites W2073111596 @default.
- W2000853721 cites W2075559309 @default.
- W2000853721 cites W2128932399 @default.
- W2000853721 cites W2153024092 @default.
- W2000853721 cites W3023650080 @default.
- W2000853721 doi "https://doi.org/10.1016/j.ieri.2014.09.071" @default.
- W2000853721 hasPublicationYear "2014" @default.
- W2000853721 type Work @default.
- W2000853721 sameAs 2000853721 @default.
- W2000853721 citedByCount "1" @default.
- W2000853721 countsByYear W20008537212017 @default.
- W2000853721 crossrefType "journal-article" @default.
- W2000853721 hasAuthorship W2000853721A5000660092 @default.
- W2000853721 hasAuthorship W2000853721A5024158669 @default.
- W2000853721 hasBestOaLocation W20008537211 @default.
- W2000853721 hasConcept C104317684 @default.
- W2000853721 hasConcept C11413529 @default.
- W2000853721 hasConcept C119599485 @default.
- W2000853721 hasConcept C120314980 @default.
- W2000853721 hasConcept C127413603 @default.
- W2000853721 hasConcept C161771561 @default.
- W2000853721 hasConcept C185592680 @default.
- W2000853721 hasConcept C2778693205 @default.
- W2000853721 hasConcept C2780077345 @default.
- W2000853721 hasConcept C41008148 @default.
- W2000853721 hasConcept C5119721 @default.
- W2000853721 hasConcept C55439883 @default.
- W2000853721 hasConcept C55493867 @default.
- W2000853721 hasConcept C63479239 @default.
- W2000853721 hasConcept C76155785 @default.
- W2000853721 hasConcept C80444323 @default.
- W2000853721 hasConceptScore W2000853721C104317684 @default.
- W2000853721 hasConceptScore W2000853721C11413529 @default.
- W2000853721 hasConceptScore W2000853721C119599485 @default.
- W2000853721 hasConceptScore W2000853721C120314980 @default.
- W2000853721 hasConceptScore W2000853721C127413603 @default.
- W2000853721 hasConceptScore W2000853721C161771561 @default.
- W2000853721 hasConceptScore W2000853721C185592680 @default.
- W2000853721 hasConceptScore W2000853721C2778693205 @default.
- W2000853721 hasConceptScore W2000853721C2780077345 @default.
- W2000853721 hasConceptScore W2000853721C41008148 @default.
- W2000853721 hasConceptScore W2000853721C5119721 @default.
- W2000853721 hasConceptScore W2000853721C55439883 @default.
- W2000853721 hasConceptScore W2000853721C55493867 @default.
- W2000853721 hasConceptScore W2000853721C63479239 @default.
- W2000853721 hasConceptScore W2000853721C76155785 @default.
- W2000853721 hasConceptScore W2000853721C80444323 @default.
- W2000853721 hasLocation W20008537211 @default.
- W2000853721 hasOpenAccess W2000853721 @default.
- W2000853721 hasPrimaryLocation W20008537211 @default.
- W2000853721 hasRelatedWork W139101146 @default.
- W2000853721 hasRelatedWork W1534106856 @default.
- W2000853721 hasRelatedWork W1594259690 @default.
- W2000853721 hasRelatedWork W1648809400 @default.
- W2000853721 hasRelatedWork W168941263 @default.
- W2000853721 hasRelatedWork W1789333195 @default.
- W2000853721 hasRelatedWork W195719481 @default.
- W2000853721 hasRelatedWork W2079283531 @default.
- W2000853721 hasRelatedWork W2177661198 @default.
- W2000853721 hasRelatedWork W2261225340 @default.
- W2000853721 hasRelatedWork W2274611295 @default.
- W2000853721 hasRelatedWork W2281413768 @default.
- W2000853721 hasRelatedWork W2416182070 @default.
- W2000853721 hasRelatedWork W2776248742 @default.
- W2000853721 hasRelatedWork W2883404601 @default.
- W2000853721 hasRelatedWork W2892818578 @default.
- W2000853721 hasRelatedWork W3045559840 @default.
- W2000853721 hasRelatedWork W3143977611 @default.
- W2000853721 hasRelatedWork W9758996 @default.
- W2000853721 hasRelatedWork W97688753 @default.
- W2000853721 isParatext "false" @default.
- W2000853721 isRetracted "false" @default.
- W2000853721 magId "2000853721" @default.
- W2000853721 workType "article" @default.