Re: [irtf-discuss] formal methods in Internet research
Stephen Farrell <stephen.farrell@cs.tcd.ie> Tue, 29 June 2021 10:43 UTC
Return-Path: <stephen.farrell@cs.tcd.ie>
X-Original-To: irtf-discuss@ietfa.amsl.com
Delivered-To: irtf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
by ietfa.amsl.com (Postfix) with ESMTP id 732B43A2F88
for <irtf-discuss@ietfa.amsl.com>; Tue, 29 Jun 2021 03:43:56 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.038
X-Spam-Level:
X-Spam-Status: No, score=-3.038 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, MSGID_FROM_MTA_HEADER=0.001, NICE_REPLY_A=-0.338,
RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001,
URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key)
header.d=cs.tcd.ie
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 NG5XIgSdqePl for <irtf-discuss@ietfa.amsl.com>;
Tue, 29 Jun 2021 03:43:51 -0700 (PDT)
Received: from EUR05-DB8-obe.outbound.protection.outlook.com
(mail-db8eur05on2106.outbound.protection.outlook.com [40.107.20.106])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(No client certificate requested)
by ietfa.amsl.com (Postfix) with ESMTPS id 79CAF3A2F84
for <irtf-discuss@irtf.org>; Tue, 29 Jun 2021 03:43:51 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
b=EqyHYTLb6Ud3Q5B3ZvBa4/0li6z5DRQ+2/ZIa/ciaEO/5MIvwiCmcZE5Mj6orcS4G9nGTua6oPkWiQV+9cMaFLNc2FYFGtF3M/mUv9MZWCPD1x1XoC3i37ayS6r6a/UpFRzeikiLBE+pFZD4Ukoc1eEFoSTcRYjbLgzsaL2c940txSB4kJRmMPZRcg81m0DWdDMnthqmsFvEtYbUzWl79xlAL8IH/9w+i4DVFAr39AgyzfB21OvOM4mH8vySSrn9mi7+3eLks/BjHvS/bZpBqDQyyvsm5jkQZvWhspT20/DKEFiXDXaWRoHgTeNqmHjehozpFy3qsYA4kbOL7W3XcA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
s=arcselector9901;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=fx/N/hWbGd9bicQKdly1M7JRS1gti/k/a0BAcCn4DI4=;
b=ETOwqFNynZL8Im8SrRiMGjqEGv8oCX+L+FPbF8yIYtCCtuWpRppHQEv//gUj6gxHGc9YKysjnRIzXKaxAi8FZG7/LMaGxdNwaa6VLuWCqAptPITThk8yy9H3Uy8FM3XLASMmvM26TIixEgwHNQnh6VUf4inFI807XHRGDvp7aQhzWRqRf9pHyCOovN1qQ4MaVwmGSqeIOZuXIudAxg6WDmtMjbHchGyaaz1XeXVnDtjyG9G9XlUJvd2FK6hQ4TC2AhY9rdt+cCPMeiM/vmLsAU3+x+nUHpIxDtycOzT0RQKIjA1d4ep2vv0Y5L9cD7xXD5a4vuhEpnw5WvWV58q0yQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
smtp.mailfrom=cs.tcd.ie; dmarc=pass action=none header.from=cs.tcd.ie;
dkim=pass header.d=cs.tcd.ie; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.tcd.ie; s=selector1;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=fx/N/hWbGd9bicQKdly1M7JRS1gti/k/a0BAcCn4DI4=;
b=ftCbl+f+c3tRzq7QwoLcjB2EoEBTSX3xDb1IP91L0DhY2LSdwhGwZQQwODwjDtNgbbdCfWVl0hK2lKapT/lQzlG4GvP/2SBWxQ0Sarkt4/kWtIrw48wbmPKPE7QiQYXGkOWMJLWqjlxdDoKfb/LaLyz9ktQQzW6CEuH33irNj5oGN+Q5SsEJy5zkZjcrOkdDo+gDYCEgJiDOzNMSOCM0jFSaZmiSGqVZtQMXxN1pPvH5TKVDO+cllizHP5Kn8IVzS+ctDxDPu6HJx+EvkFANy0fQMEpk30UbmhoonXtKF8bumi02dHHH1YLUJxCRv9Xi2iIgZs9+nm6kgCdOVm/Jmw==
Authentication-Results: irtf.org; dkim=none (message not signed)
header.d=none;irtf.org; dmarc=none action=none header.from=cs.tcd.ie;
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com (2603:10a6:10:77::15)
by DB9PR02MB6554.eurprd02.prod.outlook.com (2603:10a6:10:218::18) with
Microsoft SMTP Server (version=TLS1_2,
cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4264.19; Tue, 29 Jun
2021 10:43:46 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com
([fe80::9c71:9f6:9136:f849]) by DB7PR02MB5113.eurprd02.prod.outlook.com
([fe80::9c71:9f6:9136:f849%6]) with mapi id 15.20.4264.026; Tue, 29 Jun 2021
10:43:46 +0000
To: Buday Gergely <buday.gergely.istvan=40uni-mate.hu@dmarc.ietf.org>,
irtf-discuss@irtf.org
References: <0cad2b0c-7a64-27df-df31-8159f95891ba@uni-mate.hu>
From: Stephen Farrell <stephen.farrell@cs.tcd.ie>
Message-ID: <04591612-bbe6-b74a-d9a8-298d58058ed5@cs.tcd.ie>
Date: Tue, 29 Jun 2021 11:43:44 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.11.0
In-Reply-To: <0cad2b0c-7a64-27df-df31-8159f95891ba@uni-mate.hu>
Content-Type: multipart/signed; micalg=pgp-sha256;
protocol="application/pgp-signature";
boundary="uc8v764fBqMPCgsMYACLwmtbHG4N2BCSe"
X-Originating-IP: [2001:bb6:5e5e:b458:32e6:b9c7:1c0e:9950]
X-ClientProxiedBy: DB6P193CA0024.EURP193.PROD.OUTLOOK.COM (2603:10a6:6:29::34)
To DB7PR02MB5113.eurprd02.prod.outlook.com
(2603:10a6:10:77::15)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from [IPv6:2001:bb6:5e5e:b458:32e6:b9c7:1c0e:9950]
(2001:bb6:5e5e:b458:32e6:b9c7:1c0e:9950) by
DB6P193CA0024.EURP193.PROD.OUTLOOK.COM (2603:10a6:6:29::34) with Microsoft
SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
15.20.4287.21 via Frontend Transport; Tue, 29 Jun 2021 10:43:46 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: dadbf3c1-1a90-447b-b5c4-08d93aeac5c6
X-MS-TrafficTypeDiagnostic: DB9PR02MB6554:
X-MS-Exchange-SharedMailbox-RoutingAgent-Processed: True
X-Microsoft-Antispam-PRVS: <DB9PR02MB6554ABC55D6FEFF4502BD50EA8029@DB9PR02MB6554.eurprd02.prod.outlook.com>
X-TCD-Routed-via-EOP: Routed via EOP
X-TCD-ROUTED: Passed-Transport-Routing-Rules
X-MS-Oob-TLC-OOBClassifiers: OLM:298;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: 1HhPDn9msi4VboqgBkjPdaGvPYF7AUFNJ6NYLQEaehFOZLJmQDoRle+ag1m97TJStE34y5iqu1F9EwdwhCT+4xSoFEP2fY2Pt3AJhuhaaZhJW9jLHt5J4erg71FERkgq77kRLK2JBEpIe58o/jjTXC2PPJr2NFPcEp2ATJ3PT3vquvAAI9DShISkMefCMvkjyfdrWKNzVDXTsZF0VmmvCQjs70igIKlBQrF8A5xxm7jNqAr6ehA3yBm28qAFCitvbQQowShAV0cmlBoXk8IvlplrQxLdmfNFThfnCE3dlq3832Auh2ghpTt5yXjtRroXxrAKEwf9ed721dL9EXvX/XaDi8T/TLwQlhBqlfFn42WFHX9JNWCNGpq2LzjQS88/wVrbFrMJvxhBPK/yyLTo8b+K/Hh3o1wZgxMej2ytBHQLPCcM/LXaspvCi0vpXNzH1OwYLpApFFcOGoa1RgNdwggTK9MqPcakKnjO5wCyPcgYpsoPyV1DTm8WqjeD62x+mZJDBzQZo3mzCUF7qwF0q0bHwzGEwo+DOGBK747GlmzlrcaIV79c4C0D7W/wdtnVKqRsxRjtzjNEznPeZex53/oFo9ZAXiLT9LLFNfFky6nc31FDdiMljk5/9ZeXPRYZbSUBYcGb8QR0mMxh1b5gNiG6kJ0Mby0RjIaEkG4myEtYPbXIQbicGFfy93P2hJIZ4LPZkyS5KgmJ8JimMOvDhno6sqgAjihigPb4JolXl7E=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
IPV:NLI; SFV:NSPM;
H:DB7PR02MB5113.eurprd02.prod.outlook.com; PTR:; CAT:NONE;
SFS:(4636009)(396003)(39860400002)(366004)(376002)(136003)(346002)(478600001)(8676002)(8936002)(564344004)(66556008)(36756003)(316002)(44832011)(66946007)(66476007)(2616005)(66616009)(38100700002)(786003)(21480400003)(33964004)(53546011)(186003)(16526019)(86362001)(5660300002)(31686004)(235185007)(83380400001)(2906002)(6486002)(66574015)(31696002)(45980500001)(43740500002);
DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SGpTSXVlaEdJQ0NEZFovYzVUQysyRFNrcjNKTnBlWDdYT3JjaXhCeWFSaHFt?=
=?utf-8?B?ZHhxUXFPb0tWTDcveG9rV0hWSDNzNEVJZS9RTHhCbnYrOHJZNE82UHdWR0ov?=
=?utf-8?B?SU83MjZuWmdZWTVlZHpZTXhIWDBHK0hVcTlQT1N5QmFzeGJWdXFMWThIRk9H?=
=?utf-8?B?OHluRHowT1NOSHlCWjA2RGkvYzJNdmErNkFhTGpFM1hIaTVxTUZzUXhOQjJi?=
=?utf-8?B?T0Vwbi9VSldlVEZENWEwR09NWVpoZVJPb2preFUxTVl3akQ1ckRONyswVUdp?=
=?utf-8?B?WlVURnU3TzJLK3R5RTVZV1dWcTVHblVxNWRYM2o3a0hOcDNjb1ZIZnlpaWZu?=
=?utf-8?B?Y0lXaFUyckF1Q3lMelJ0ZFRuWlF5VWVWRVBwTDdJM3BOcVpCemhTUGRkVy8x?=
=?utf-8?B?bU1hRGcwVE8rbm1yaFgza1NjeTBYcEF6aWt4QlNyMHVhM1Y5VHVsdE1yOXNT?=
=?utf-8?B?OTczc2k3cmxEM1dvbkl6Y01iVDd3YWFCeFc1MEdLSk1WdU92c0hFUDVXV2l2?=
=?utf-8?B?T2FlVGNRbDZIY1FEdTlkZkk3UmNVZ0J6ZDZzTU5HWU1yY1ExVFQwY1BJditB?=
=?utf-8?B?anVvM01tazlXczFvNVVqcXFQYnZCS0tIcVR6WHNHbGFnYitjRDFYRkp1bE9a?=
=?utf-8?B?b0NTK1JQQUFqWlNWTTlpaXVFdXFpNXRHQ3E5Y3RnejhCNU9QZndOMGtjc29T?=
=?utf-8?B?blIzb3JGRWtIYUl6eFQ3OXFHamRmLzdWUVBrUlVPNUdha2NoZmhIVXBEaDZ1?=
=?utf-8?B?SWxLYUVyclNwc1NBRHBxdk5MWXA4b0xkRkNERVZhUTBJaVdoUlFrNk5vZnNQ?=
=?utf-8?B?aWFqZ1FqRTN2NmZSZXpjSlFhWmlDSDMzTFVvSWFHdHVDN1dTLzRmUWx0Yi90?=
=?utf-8?B?d3hXVE1BM2w0endicG9rVnNMNEdIbGlZdENyYklXZVRPd0NkNHo5b3pQRmVL?=
=?utf-8?B?UU9YRm1sV0w4TGNmeVNBZkRzWnZibW9idlJCTExSSFlwbitIaFFpdnNYMWgr?=
=?utf-8?B?RWx5MFpoZlUrSmsvT2JlSk1tQW5nYVMyL0dtaTVKSHVSazVtUkhueHpPcmUz?=
=?utf-8?B?NndyV08rTGNuZFYrMmswcCs2WE9XSkhrTm53dStaMEpPNzNnYVV6a04xMnZQ?=
=?utf-8?B?dTM3ZWJHa0I3K012NmREVUFHanFiR1NRdmI5SXdmb2JJZFdIMzhmbytKcHc4?=
=?utf-8?B?Z0VQYkR6UVpPblpOcFQ2SGtVSU1sZDdIeVg0Nkg2UnFyT0NyTTVDeGlFQlhJ?=
=?utf-8?B?RFRucHNKYWs5c0tGRW1iTjQ4Rk1kck9YV2JOc1pEUWYxeUxrdnArQmRZWHpM?=
=?utf-8?B?YTl0V0xRZlNxdDVuTWRlYU04ZWNxTWZrakJmQ0t5SzYwVGJyMk0yb3NRbFBj?=
=?utf-8?B?LzJ0M3N0QTc0M1JUQTF4ODJiczdJNHNRTlUrM0dKM2d4NUFoeTdRWHQvRTJH?=
=?utf-8?B?YUZwV3d6RjlHVnJHbS82ajQzZ2k4clcybDQzNTFzSDVuclMvTVpCbkxvZllq?=
=?utf-8?B?bGxBNU9oVVlUZEtVL3ZFWXNJZ0tBT21oSzF0U2FNdmF3UTR4SjllalduWjl2?=
=?utf-8?B?ak9kRC8yYUNNMmJ2ZDFVcWZuM3ZhY1VGQUtJNU14aWx3ejNja0RCTjg3V3Nw?=
=?utf-8?B?MEFUTDZKMUZzelZhcjFPeTNaNXcrcXBOWElQQ1dHeTJ6eHo5ekpCUGJPeSty?=
=?utf-8?B?V0dGMHRXT1IzSENGeFZsNmlyM0M1a2NldHB2RDQ2c2Jta3hjVXBtMm4yN2Ny?=
=?utf-8?B?YzBYdHB3TlRBV2lKelJFZVpPWXkrTzFPY2NrcFRsd1JtRXN1WkxYRDNYSHIz?=
=?utf-8?B?djJaS1dlMS8vTXcrWWtwaUhyK1FUYnQ5MUNsS1ZobXJJUTI5YlRhc0tuM3hu?=
=?utf-8?Q?o4F4kyQ+rnNPe?=
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: dadbf3c1-1a90-447b-b5c4-08d93aeac5c6
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 Jun 2021 10:43:46.7916 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: d595be8d-b306-45f4-8064-9e5b82fbe52b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: ZLYJM5J+1nWL7VBT3SF4oBhPpqUdsRf3fQKCIx4ZNxhq4RWVANcYZ9JpPt+/K5xX
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR02MB6554
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-discuss/nahRWS2R2aoNkDPukku6ui9VhoU>
Subject: Re: [irtf-discuss] formal methods in Internet research
X-BeenThere: irtf-discuss@irtf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IRTF general and new-work discussion list <irtf-discuss.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/irtf-discuss>,
<mailto:irtf-discuss-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/irtf-discuss/>
List-Post: <mailto:irtf-discuss@irtf.org>
List-Help: <mailto:irtf-discuss-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/irtf-discuss>,
<mailto:irtf-discuss-request@irtf.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Jun 2021 10:43:57 -0000
On 29/06/2021 10:06, Buday Gergely wrote: > > Which of the Internet Research Task Force research groups considers this > area for use? Formal methods come up in CFRG regularly. Cheers, S.
- [irtf-discuss] formal methods in Internet research Buday Gergely
- Re: [irtf-discuss] formal methods in Internet res… Stephen Farrell
- Re: [irtf-discuss] formal methods in Internet res… Colin Perkins