[T2TRG] Binary input analysis language -- Fwd: [saag] ASN.1 vs. DER Encoding

Carsten Bormann <cabo@tzi.org> Sat, 30 March 2019 20:23 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: t2trg@ietfa.amsl.com
Delivered-To: t2trg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C8909120269 for <t2trg@ietfa.amsl.com>; Sat, 30 Mar 2019 13:23:17 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.198
X-Spam-Level:
X-Spam-Status: No, score=-4.198 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 9h0GALcVkSq0 for <t2trg@ietfa.amsl.com>; Sat, 30 Mar 2019 13:23:16 -0700 (PDT)
Received: from smtp.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id AB398120047 for <t2trg@irtf.org>; Sat, 30 Mar 2019 13:23:15 -0700 (PDT)
Received: from [192.168.217.120] (p54A6CE73.dip0.t-ipconnect.de [84.166.206.115]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.uni-bremen.de (Postfix) with ESMTPSA id 44Wqmd43SlzyW0; Sat, 30 Mar 2019 21:23:13 +0100 (CET)
From: Carsten Bormann <cabo@tzi.org>
Content-Type: multipart/alternative; boundary="Apple-Mail=_5C99576D-4306-4588-BD0E-3D4042E9450E"
X-Mao-Original-Outgoing-Id: 575670191.101681-e36248d8fe4f5eb0280e27b65a9f9516
Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\))
Date: Sat, 30 Mar 2019 21:23:12 +0100
Message-Id: <FC0BEED0-E996-417A-8A75-4294562F591C@tzi.org>
References: <6979.1553785486@dooku.sandelman.ca>
To: t2trg@irtf.org
X-Mailer: Apple Mail (2.3445.9.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/t2trg/b1OjHBtFyYtuPdvpHoWNEhLpM2s>
Subject: [T2TRG] Binary input analysis language -- Fwd: [saag] ASN.1 vs. DER Encoding
X-BeenThere: t2trg@irtf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IRTF Thing-to-Thing Research Group <t2trg.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/t2trg>, <mailto:t2trg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/t2trg/>
List-Post: <mailto:t2trg@irtf.org>
List-Help: <mailto:t2trg-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/t2trg>, <mailto:t2trg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Sat, 30 Mar 2019 20:23:18 -0000

Nice example for a grammar-based binary input analysis language below.
This was apparently used to generate matching rules.

Of course, we also have RFC 4997, which was used for specifying bidirectional transformations (compression/decompression) in RFCs 4996, 5225, 6846.

Besides descriptive approaches, there are imperative ones such as eBPF: https://www.iovisor.org/technology/ebpf <https://www.iovisor.org/technology/ebpf> (and the Berkeley Packet Filter from which this was derived, http://www.tcpdump.org/papers/bpf-usenix93.pdf <http://www.tcpdump.org/papers/bpf-usenix93.pdf>).

Grüße, Carsten


> Begin forwarded message:
> 
> From: Michael Richardson <mcr+ietf@sandelman.ca <mailto:mcr+ietf@sandelman.ca>>
> Subject: Re: [saag] ASN.1 vs. DER Encoding
> Date: March 28, 2019 at 16:04:46 GMT+1
> To: saag@ietf.org <mailto:saag@ietf.org>
> Archived-At: <https://mailarchive.ietf.org/arch/msg/saag/4RvKlmZ_aiTaXX1RNDWCxttREnk <https://mailarchive.ietf.org/arch/msg/saag/4RvKlmZ_aiTaXX1RNDWCxttREnk>>
> 
> […]
> It was intended to enable generation of code/rules/tables for NPUs.
>  http://www.sandelman.ca/SSW/ietf/pax-pdl/pax-pdl-00.txt <http://www.sandelman.ca/SSW/ietf/pax-pdl/pax-pdl-00.txt>