[nasr] Re: 回复: Re: Secure Routing Path Consideration- China Mobile-ietf120

Jean-Michel Combes <jeanmichel.combes@gmail.com> Fri, 11 October 2024 12:45 UTC

Return-Path: <jeanmichel.combes@gmail.com>
X-Original-To: nasr@ietfa.amsl.com
Delivered-To: nasr@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E5F9CC169419 for <nasr@ietfa.amsl.com>; Fri, 11 Oct 2024 05:45:35 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.106
X-Spam-Level:
X-Spam-Status: No, score=-2.106 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7_gYbEI-G8dW for <nasr@ietfa.amsl.com>; Fri, 11 Oct 2024 05:45:35 -0700 (PDT)
Received: from mail-vs1-xe32.google.com (mail-vs1-xe32.google.com [IPv6:2607:f8b0:4864:20::e32]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1561DC1519B6 for <nasr@ietf.org>; Fri, 11 Oct 2024 05:45:35 -0700 (PDT)
Received: by mail-vs1-xe32.google.com with SMTP id ada2fe7eead31-4a45f8c6d0aso396814137.3 for <nasr@ietf.org>; Fri, 11 Oct 2024 05:45:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1728650734; x=1729255534; darn=ietf.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=GPTFmXIAcnQNDZMADm3onR3w82J0/t+N0zv50BOWs0g=; b=FyxQKmLv0APfLmROWfdAl8FYbS5PmbOhZs88WWlHaDxHoN7yOpHRf6MiHQLN0gkf18 oAthpP6FDS/IkupVOorl0MJFa6G5o0bFjMDtXBdXJCFZO8PduxT1LhzygVvzNzuoB44P cMvoBSlCBzILUOBjpgB2d6mjAylvMZdTuMbA0cfU3fjruDJjfvSISCG12n3xeo57SCNO 3KS6SZVGKD465Ob+5HBdM4gL3I+eH3URL9oKDLfnLfDC2EPktRpm6Ym15ywZ/tE/bzxm fNmjZxFwXPGddmAnTlvMurGm1Yez2JkTI/uwgR6oOil+MOO+rwcOKqIuGiAKGM5szZLF sHTA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1728650734; x=1729255534; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=GPTFmXIAcnQNDZMADm3onR3w82J0/t+N0zv50BOWs0g=; b=HaooW2wpyW818bXoPGAl3ttbN9aTzSXwhV6mVMN/vM7OwRIcaagnqCA1fVv/wgjnXb yVylgAXcQEhCd9O1iE6AsBQPWANKzTQcH8DADThCZ5DUGgwzDMx735IlTwbdphVG96HC T01SD82Xok2tFtZAxqJalqxqO1smHfxH2pXpEm5gbTHZqRbEZOLLJlx9HHpxEvXyJdao DThqvjC9SgrbIREduGsxIBBhjCsH1gyytx9yHUsi+RJPmXb7FsSwPBlNIne2wJavH5aI 8jhFqEomPNK+3DkwCRcsKsD32QGU1OIToDMnxYr6/XmazIvqJn7nD2YjjBzbDGLwpKE1 hlQw==
X-Forwarded-Encrypted: i=1; AJvYcCXaeI3DsMAAs1PVpC42Gl4CruT74yI9ugOf5o00Kw1QM73gRVTQk1YTFyLqZvnt2FP61VqY@ietf.org
X-Gm-Message-State: AOJu0YwOH07pLtUiEv29ldyLwu06Hkg6p2M7cwLQQIOwum+G9vlNgtcL E42Wi17781DjbhibwAqVUoRWm+08sdmpL0ETtWTvUWL0viRnRsvUHM6cwdQw8+0MYXvfYbb4nO5 rXtrMt8RtOR7UeVd4ezp3Oyd6jF8=
X-Google-Smtp-Source: AGHT+IFDklRSOAis/a9q+gLdgYBzCPoe2+h8dqsPgrZPVd7/cKpGsi6k1/jjYceis/WPed96iUNH0eD5WUgJ3+khWKc=
X-Received: by 2002:a67:bd02:0:b0:4a3:c276:e566 with SMTP id ada2fe7eead31-4a465a6a604mr1092086137.21.1728650733867; Fri, 11 Oct 2024 05:45:33 -0700 (PDT)
MIME-Version: 1.0
References: <17219.1722798809@obiwan.sandelman.ca> <202408091800065008405@chinamobile.com> <744c46d5.25b2.19149927bcb.Coremail.liupenghui1982@163.com> <ca7257d77709444a914c402f419ad0b0@huawei.com> <630665a9.436d.1914a2e2fc7.Coremail.liupenghui1982@163.com> <c15aa26cea984239baf9d2d96b6ed5a7@huawei.com> <ZvyK4n-BI9S-SF94@faui48e.informatik.uni-erlangen.de> <24175.1727974451@obiwan.sandelman.ca> <Zv7t5QNKYiBXkLYf@faui48e.informatik.uni-erlangen.de> <5925.1727990783@obiwan.sandelman.ca> <ZwAhzypyovggw3n0@faui48e.informatik.uni-erlangen.de> <51088332df184b1b90017a023b07a639@huawei.com> <CAA7e52rArVz8LKh_=50RPsLLkBO72BXAoab4L3gogP84OVg8Tw@mail.gmail.com> <f0b125fcf8fc45c4b3991202c9b0a3c6@huawei.com>
In-Reply-To: <f0b125fcf8fc45c4b3991202c9b0a3c6@huawei.com>
From: Jean-Michel Combes <jeanmichel.combes@gmail.com>
Date: Fri, 11 Oct 2024 14:45:22 +0200
Message-ID: <CAA7e52rgN==1V5c3u8QNWUac56axn2nXR0m=YaXA=p2U5unDBg@mail.gmail.com>
To: Luigi IANNONE <luigi.iannone@huawei.com>
Content-Type: multipart/alternative; boundary="000000000000eede8b062432dcce"
Message-ID-Hash: WISG7IH7AZ7WJC7HZB75273VWZ5IQVEJ
X-Message-ID-Hash: WISG7IH7AZ7WJC7HZB75273VWZ5IQVEJ
X-MailFrom: jeanmichel.combes@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: "Liuchunchi(Peter)" <liuchunchi=40huawei.com@dmarc.ietf.org>, Toerless Eckert <tte@cs.fau.de>, Michael Richardson <mcr+ietf@sandelman.ca>, 刘鹏辉 <liupenghui1982@163.com>, Meiling Chen <chenmeiling@chinamobile.com>, "nasr@ietf.org" <nasr@ietf.org>
X-Mailman-Version: 3.3.9rc5
Precedence: list
Subject: [nasr] Re: 回复: Re: Secure Routing Path Consideration- China Mobile-ietf120
List-Id: Network Attestation for Secure Routing <nasr.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/nasr/PBohnNzrPCzhsbbHB1By1YSWQY0>
List-Archive: <https://mailarchive.ietf.org/arch/browse/nasr>
List-Help: <mailto:nasr-request@ietf.org?subject=help>
List-Owner: <mailto:nasr-owner@ietf.org>
List-Post: <mailto:nasr@ietf.org>
List-Subscribe: <mailto:nasr-join@ietf.org>
List-Unsubscribe: <mailto:nasr-leave@ietf.org>

Hi Luigi,

Indeed, that could be considered like an "audit" for the network
administrator deploying such protocols, IMHO:
- internally, to check there should not be leaks of sensitive information
(e.g., location of critical servers)/data outside the network
- externally, maybe - not real demand today AFAIK, to provide a proof that
such protocols should not impact networks connected to the network where
these protocols are deployed

Best regards,

JMC.


Le mer. 9 oct. 2024 à 14:46, Luigi IANNONE <luigi.iannone@huawei.com> a
écrit :

> Hi Jean-Michel,
>
>
>
> *From:* Jean-Michel Combes <jeanmichel.combes@gmail.com>
> *Sent:* Wednesday, 9 October 2024 13:03
> *To:* Liuchunchi(Peter) <liuchunchi=40huawei.com@dmarc.ietf.org>
> *Cc:* Toerless Eckert <tte@cs.fau.de>; Michael Richardson <
> mcr+ietf@sandelman.ca>; 刘鹏辉 <liupenghui1982@163.com>; Meiling Chen <
> chenmeiling@chinamobile.com>; nasr@ietf.org; Luigi IANNONE <
> luigi.iannone@huawei.com>
> *Subject:* Re: [nasr] Re: 回复: Re: Secure Routing Path Consideration-
> China Mobile-ietf120
>
>
>
> Hi,
>
>
>
> IETF has already standardized protocols doing only  _assumptions_ (i.e.,
> no way to check the reality) on security rules regarding the boundary of
> the domain where such protocols are deployed:
>
> - SFC [RFC8300, section 8.1]
>
> "In summary, packets originating outside the SFC-enabled domain MUST be
> dropped if they contain an NSH. Similarly, packets exiting the SFC-enabled
> domain MUST be dropped if they contain an NSH."
>
> - RPL [RFC6554, section 5.1]
>
> "As specified in this document, RPL routers MUST drop datagrams entering
> or exiting a RPL routing domain that contain an SRH in the IPv6 Extension
> headers."
>
> - SRv6 [RFC8402, section 8.2]
>
> "SR domain boundary routers MUST filter any external traffic destined to
> an address within the SRGB of the trusted domain or the SRLB of the
> specific boundary router. External traffic is any traffic received from an
> interface connected to a node outside the domain of trust.
>
> From a network-protection standpoint, there is an assumed trust model such
> that any node adding an SRH to the packet is assumed to be
> allowed to do so. Therefore, by default, the explicit routing information
> MUST NOT be leaked through the boundaries of the administered domain.
> Segment Routing extensions that have been defined in various protocols,
> leverage the security mechanisms of these protocols such as encryption,
> authentication, filtering, etc."
>
>
>
> Can NASR help to transform such _assumptions_ into _proofs_ and, so, to
> "achieve" (for the security part) the IETF works done on these protocols?
>
>
>
> *[LI] Interesting use case. I would say that the “auditing” part of NASR
> can some how used for that purpose. **😉*
>
>
>
> *Ciao*
>
>
>
> *L.*
>
>
>
>
>
>
>
>
>
>
>
>
>
> BTW, this is just a list of protocols I am aware of ... maybe others exist
> with the same _assumptions_ ...
>
>
>
> Thanks in advance for your replies.
>
>
>
> Best regards,
>
>
>
> JMC.
>
>
>
> Le mar. 8 oct. 2024 à 12:31, Liuchunchi(Peter) <liuchunchi=
> 40huawei.com@dmarc.ietf.org> a écrit :
>
> just got back from a national holiday, sorry about the delays
>
> using filtering policies to control the dissemination border of security
> sensitive content is very good to have (and maybe is what we wanted in the
> first place), but as michael and luigi mentioned, the inability to
> completely eliminate L2 stealth nodes makes the work less exciting. But
> what we can do is, based on basic RATS methods, under certain trust
> assumptions, create a protocol to produce auditable forwarding evidence,
> which proves the device trustworthiness, execution logs, link security
> methods used, etc (exact items may be what we have to decide) when certain
> flow or packets are forwarded. In this way, it appears the more
> cost-efficient choice (for now, the first step) might be operation-centric
> forwarding auditing of above information, compact proof creation and
> visualization. This works as a tool that just objectively verifies and
> audits forwarding. Just thinking :P
>
> > -----Original Message-----
> > From: Toerless Eckert <tte@cs.fau.de>
> > Sent: Saturday, October 5, 2024 1:12 AM
> > To: Michael Richardson <mcr+ietf@sandelman.ca>
> > Cc: Liuchunchi(Peter) <liuchunchi@huawei.com>; =?us-
> > ascii?B?PT91dGYtOD9CPzVZaVk2Ym1QNkw2Sj89?=
> > <liupenghui1982@163.com>; Meiling Chen <chenmeiling@chinamobile.com>;
> > nasr@ietf.org
> > Subject: Re: [nasr] Re: 回复: Re: Secure Routing Path Consideration- China
> > Mobile-ietf120
> >
> > On Thu, Oct 03, 2024 at 05:26:23PM -0400, Michael Richardson wrote:
> > >
> > > Toerless Eckert <tte@cs.fau.de> wrote:
> > >     > But avoidance of copying of traffic by undesired third parties
> if course a
> > core
> > >     > benefit that NASR can provide. And those prior examples can
> provide
> > examples of
> > >     > the attack vectors why that is undesirable. Even with todays
> easily
> > available
> > >     > end-to-end encryption.
> > >
> > > NASR can not provide any kind of avoidance of copying!
> >
> > I meant indirectly by being a way to ensure traffic paths that are
> expected to
> > make copying & decryption hard...impossible.... or possible by the
> "right"
> > people ;-)
> >
> > > (To do that you'd need quantum entangled links of the kind the QIRG is
> > > contemplating)
> >
> > Nice point actually. I remember Huawei was in the past a big fan of
> quantum
> > entangled links (last data point 2018). Cryptographers of course are
> always
> > dismissive (somewhat of a competition). And the visit in Yokohama to the
> > quantum research lab on friday was all about allowing entanglement to
> > actually go across longer paths.
> >
> > So i would certainly like to consider the continuuom of different
> methods to
> > protect links and nodes as part of a NASR architecture.
> >
> > Of course, i would foremost point to the added crypto value of hop-by-hop
> > encryption as opposed to only end-to-end encrypion, because of the higher
> > cost of crypto attacks - especially when you combine it with load
> distribution
> > across different paths.
> >
> > > What NASR can do is provide assurance that when you have such links,
> that:
> > > a) there are no stealth routers in the path.
> >
> > Depending on the technologies we emply in NAS, your could still have a
> > stealth L2 device though. Which by the way is a common way how firewalls
> > operate.
> >
> > > b) that the two sides of each QIRG link are operating nominally.
> >
> > Right.
> >
> > Cheers
> >     Toerless
> >
> > >     > But maybe much simpler: nation state actors have the means to
> extract
> > and even decrypt
> > >     > end-to-end traffic. But if they can not see the traffic because
> it does not
> > run across
> > >     > the paths desired by them, because they pass their network taps
> - then
> > >     > they can't do that.
> > >
> > > yes.
> > >
> > > --
> > > Michael Richardson <mcr+IETF@sandelman.ca>   . o O ( IPv6 IøT
> consulting )
> > >            Sandelman Software Works Inc, Ottawa and Worldwide
> > >
> > >
> > >
> > >
> >
> >
> >
> > --
> > ---
> > tte@cs.fau.de
> --
> nasr mailing list -- nasr@ietf.org
> To unsubscribe send an email to nasr-leave@ietf.org
>
>