Formal specification of SNMPv3 entities using action semantics | Zendy

Duarte Jr. Elias P. | Zendy; Musicante Martin A. | Zendy; Furlan Diógenes Cogo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

Formal specification of SNMPv3 entities using action semantics

Author(s) -

Duarte Jr. Elias P.,

Musicante Martin A.,

Furlan Diógenes Cogo

Publication year - 2004

Publication title -

international journal of network management

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.373

H-Index - 28

eISSN - 1099-1190

pISSN - 1055-7148

DOI - 10.1002/nem.507

Subject(s) - computer science , semantics (computer science) , formal semantics (linguistics) , programming language , action semantics , protocol (science) , formal methods , action (physics) , simple (philosophy) , operational semantics , software engineering , denotational semantics , alternative medicine , epistemology , pathology , quantum mechanics , medicine , philosophy , physics

This work presents a formal description of the structure and behaviour of SNMPv3 entities. IETF documents describe the semantics of the Simple Network Management Protocol version 3 in an almost completely informal way. Our formal description is given using action semantics, a completely formal yet verbose framework for the specification of programming concepts. The purpose of our description is to specify management entities without ambiguities, contributing to a better understanding of the NMPv3 framework that may lead to automatic implementation and verification of agents and manager applications. Copyright © 2004 John Wiley & Sons, Ltd.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research