چكيده به لاتين
Abstract:
Cryptographic protocols usually Guarantor of security in the systems and Computer networks, while ensuring the security of the protocol itself in terms of the nature of their Reaction, is not so simple. One of the important protocols for network management, Simple Network Management Protocol (SNMP) due to the extensive use of its components and network devices, has a special place among producers and consumers of this equipment. The protocol has three versions in versions one and two it is not given much importance to security but because there are some attacks, its creators have been made in version three of these protocols special importance to the security. One important issue in the world of information technology, proven security of network management protocols. In the meantime, there are many ways to prove the correctness of this protocol which is one of the most important methods, formal verification methods.The first formal verification methods in a logical model protocol analyzer, BAN logic is that a serious study of the formal verification of cryptographic protocols it began. In this thesis, due to the lack of structure for the SNMP protocol at formal analysis using BAN logic, to need, using the concepts described in RFC backup SNMP, the protocol to obtain. Then, using BAN logic and its laws, we describe SNMP protocol and its verification. The result proved, Proof authentication of the received message that is sent agent to manager or sent manager to agent and The proof of authentication manager and agent for one another. This is the claim that SNMP reference at the time had expressed its third edition.
Keywords: Simple Network Management Protocol (SNMP), formal verification, BAN logic.
