The Experts below are selected from a list of 807 Experts worldwide ranked by ideXlab platform
A C Weaver - One of the best experts on this subject based on the ideXlab platform.
-
experience with the abstract syntax notation one and the basic encoding rules
1991Co-Authors: J D Harvey, A C WeaverAbstract:The authors discuss their experience in implementing an Abstract Syntax Notation One compiler, ASN.1 is a descriptive notation used to define the informational content of the OSI upper layer protocols. The basic encoding rules are a transfer syntax that may be applied to instances of ASN.1. Collectively, these two protocols solve the disparate data representation problem within an OSI network. The authors describe the purpose and basic features of both ASN.1 and BER, their theoretical disposition within the OSI Reference Model, their practical application that includes the details of this implementation, and finally some insights into the protocols themselves is offered. >
J D Harvey - One of the best experts on this subject based on the ideXlab platform.
-
experience with the abstract syntax notation one and the basic encoding rules
1991Co-Authors: J D Harvey, A C WeaverAbstract:The authors discuss their experience in implementing an Abstract Syntax Notation One compiler, ASN.1 is a descriptive notation used to define the informational content of the OSI upper layer protocols. The basic encoding rules are a transfer syntax that may be applied to instances of ASN.1. Collectively, these two protocols solve the disparate data representation problem within an OSI network. The authors describe the purpose and basic features of both ASN.1 and BER, their theoretical disposition within the OSI Reference Model, their practical application that includes the details of this implementation, and finally some insights into the protocols themselves is offered. >
Christian Rinderknecht - One of the best experts on this subject based on the ideXlab platform.
-
Proving a soundness property for the joint design of ASN.1 and the basic encoding rules
2011Co-Authors: Christian Rinderknecht, Groupe Léonard De Vinci, D. Génie E. R. InformatiqueAbstract:Abstract. The Abstract Syntax Notation One (ASN.1) can be used to model types of values carried by signals in SDL or MSC but is also directly used by network protocol implementors. In the last few years, the press has reported several alleged vulnerabilities of ASN.1 and the basic encoding rules (BER) related to network protocols like SNMP and, more recently, OpenSSL. In reality it has been shown that the security issues (theoritically denial of service attacks) were due to low-quality and poorly-tested compiler implementations. We use some formal methods to go further. We review formally the design of the BER themselves and prove that, under some assumptions, it is flawless whatever the network protocol is and whatever the values to be transmitted are. More precisely, we start with a formal modeling of the BER which abstracts away low-level details but captures the design principles. Then we define a soundness property stating that the composition of encoding and decoding yields a value which is equivalent to the original. Finally we prove that this property holds for all values specified with ASN.1
-
proving a soundness property for the joint design of asn 1 and the basic encoding rules
2004Co-Authors: Christian RinderknechtAbstract:The Abstract Syntax Notation One (ASN.1) can be used to model types of values carried by signals in SDL or MSC but is also directly used by network protocol implementors. In the last few years, the press has reported several alleged vulnerabilities of ASN.1 and the basic encoding rules (BER) related to network protocols like SNMP and, more recently, OpenSSL. In reality it has been shown that the security issues (theoretically denial of service attacks) were due to low-quality and poorly-tested compiler implementations. We use some formal methods to go further. We review formally the design of the BER themselves and prove that, under some assumptions, it is flawless whatever the network protocol is and whatever the values to be transmitted are. More precisely, we start with a formal modeling of the BER which abstracts away low-level details but captures the design principles. Then we define a soundness property stating that the composition of encoding and decoding yields a value which is equivalent to the original. Finally we prove that this property holds for all values specified with ASN.1.
Wang Fenggui - One of the best experts on this subject based on the ideXlab platform.
-
analysis of basic encoding rules in snmp as hfc network management standard
2004Co-Authors: Wang FengguiAbstract:SNMP is the standard for the network management of HFC and Internet,in which information is encoded and decoded in basic encoding rules (BER). The fundamental of BER is discussed. Further analysis is also given with the incepted datagrams. This is of great significance for network administrators and operators to understand SNMP,even unscramble datagrams and promptly find problems if some network faults happen.
-
programming for basic encoding rules of snmp
2004Co-Authors: Wang FengguiAbstract:SNMP is the standard for HFC and Internet, in which basic encoding rule (BER) is used for data transfer. BER is discussed and realized in C language, which has laid a solid foundation for efficient embedded SNMP agent. This is also helpful to design SNMP specific analysis software.
D. Génie E. R. Informatique - One of the best experts on this subject based on the ideXlab platform.
-
Proving a soundness property for the joint design of ASN.1 and the basic encoding rules
2011Co-Authors: Christian Rinderknecht, Groupe Léonard De Vinci, D. Génie E. R. InformatiqueAbstract:Abstract. The Abstract Syntax Notation One (ASN.1) can be used to model types of values carried by signals in SDL or MSC but is also directly used by network protocol implementors. In the last few years, the press has reported several alleged vulnerabilities of ASN.1 and the basic encoding rules (BER) related to network protocols like SNMP and, more recently, OpenSSL. In reality it has been shown that the security issues (theoritically denial of service attacks) were due to low-quality and poorly-tested compiler implementations. We use some formal methods to go further. We review formally the design of the BER themselves and prove that, under some assumptions, it is flawless whatever the network protocol is and whatever the values to be transmitted are. More precisely, we start with a formal modeling of the BER which abstracts away low-level details but captures the design principles. Then we define a soundness property stating that the composition of encoding and decoding yields a value which is equivalent to the original. Finally we prove that this property holds for all values specified with ASN.1