A method for specifying, implementing, and verifying media access control protocols

Brooks, C.A.; Cieślak, R.; Varaiya, Pravin

doi:10.1109/37.56282

Cited by 7 publications

(4 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, this specification task has proved to be Ž . cumbersome even for simple cases Brooks et al, 1990 . It is difficult to provide specification methods enabling a compact and unambiguous representation of the operational objectives and constraints.…”

Section: Specification Of Closed-loop Behaviormentioning

confidence: 99%

Synthesis and implementation of procedural controllers for event‐driven operations

Sánchez¹,

Rotstein²,

Alsop³

et al. 1999

AIChE Journal

View full text Add to dashboard Cite

Section: Specification Of Closed-loop Behaviormentioning

confidence: 99%

Synthesis and implementation of procedural controllers for event‐driven operations

Sánchez¹,

Rotstein²,

Alsop³

et al. 1999

AIChE Journal

View full text Add to dashboard Cite

“…The analysis we suggest provides a simple solution to many of the problems noted in [2]. It was observed that systems as complicated as networks are often impossible to model in a discrete event control context.…”

Section: Introductionmentioning

confidence: 96%

“…Recent work has been done in the formal modeling and analysis of network protocols [2,3]. As we become more dependent on wireless networks for communication, the design and implementation of secure network protocols will become more important.…”

Section: Introductionmentioning

confidence: 99%

“…As protocols and open standards have become increasingly important, a significant amount of work has been done on verifying and designing protocols [1]. In the past, others have suggested that discrete event control was insufficient for verifying protocols because of certain inadequacies in the power of the models used [2]. We have corrected some of these problems by extending the elementary theory of discrete event control to include specifications written as deterministic pushdown automata; these machines are capable of accepting a wider class of languages than finite state machines and hence can model more complicated systems.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Verification of Secure Network Protocols in Uncertain Environments

Damiani¹,

Griffin²,

Phoha³

et al. 2006

Int J Wireless Inf Networks

View full text Add to dashboard Cite

In this paper, we present a method for protocol checking and verification using discrete event control. By protocol checking and verification, we mean verifying that a protocol is logically correct, that it does not cause deadlocks, and that it has been defined to respond to uncontrollable events that may occur in a system implementing it. Our approach differs from those previously suggested in two key ways. We extend the elementary theory of discrete event control to allow us to model more complicated protocols, including protocols relying on arbitrary counting models. We then present a maximum probability method for analyzing a protocol's ability to react to a priori unspecified events. Unlike current protocol modeling, we use a pushdown automata for modeling protocols. This allows us to model protocols with greater fidelity. Our methods are illustrated using a simple two-level hierarchical protocol that defines the behavior of ad hoc wireless network nodes as they attempt to establish a secure connection. As wireless networks become more prevalent throughout the world, the off-line verification of protocols before they are implemented will help ensure that wireless network protocols are robust to security intrusions before they are deployed into the field. This will save time and money in the long run.

show abstract

High-speed protocol for an all-optical packet switched metropolitan area network

Guizani

1997

Int. J. Network Mgmt.

View full text Add to dashboard Cite

A method for specifying, implementing, and verifying media access control protocols

Cited by 7 publications

References 7 publications

Synthesis and implementation of procedural controllers for event‐driven operations

Synthesis and implementation of procedural controllers for event‐driven operations

Verification of Secure Network Protocols in Uncertain Environments

High-speed protocol for an all-optical packet switched metropolitan area network

Contact Info

Product

Resources

About