37 search results - page 4 / 8 » State Space Reduction in the Maude-NRL Protocol Analyzer |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— The performance of wireless multicasting is negatively affected by multipath fading. To improve reliability, cooperation among the nodes of the network can be used to c...
NDSS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
ENTCS
2010
13 years 7 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...