Hi Ben,
> Hi Valery,
>
> On Tue, Jul 26, 2022 at 12:04:34PM +0300, Valery Smyslov wrote:
> >
> > If we assume that we are in Dolev-Yao threat model, then an attacker has no
> > access
> > to inside the hosts, but it has an unlimited power on the network.
> > Generally speaking
> > with this mod
Hi Valery,
On Mon, Aug 01, 2022 at 12:45:59PM +0300, Valery Smyslov wrote:
> Hi Ben,
>
> > Hi Valery,
> >
> > On Tue, Jul 26, 2022 at 12:04:34PM +0300, Valery Smyslov wrote:
> > >
> > > If we assume that we are in Dolev-Yao threat model, then an attacker has
> > > no access
> > > to inside the
