comp.lang.ada
 help / color / mirror / Atom feed
From: Richard Iswara <haujekchifan@gmail.com>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Tue, 12 Oct 2021 04:51:28 -0700 (PDT)	[thread overview]
Message-ID: <5671d9c0-2535-43f2-82e5-258eddb7c879n@googlegroups.com> (raw)
In-Reply-To: <jhbamgd4mqktb2dq76jec572t5tjaic1ka@4ax.com>

On Tuesday, October 12, 2021 at 1:42:27 PM UTC+7, Doctor Who wrote:
> On Tue, 12 Oct 2021 12:17:00 +0700, Richard Iswara 
> <haujek...@gmail.com> wrote: 
> 
> >On 12/10/2021 02.50, Doctor Who wrote: 
> >> On Mon, 11 Oct 2021 20:36:46 +0100, "Luke A. Guest" 
> >> <lag...@archeia.com> wrote: 
> >> 
> >>> On 11/10/2021 20:25, Doctor Who wrote: 
> >>>> On Mon, 11 Oct 2021 15:48:37 +0100, "Luke A. Guest" 
> >>>> <lag...@archeia.com> wrote: 
> >>>> 
> >>>>> On 11/10/2021 14:33, Doctor Who wrote: 
> >>>>>> Hello, 
> >>>>>> someone knows how to introduce the capabilities paradigm in Ada, 
> >>>>>> specifically for programs written using the Ravenscar profile ? 
> >>>>>> 
> >>>>>> 
> >>>>> 
> >>>>> Capabilities are just a set of operations that an object / user can 
> >>>>> perform, or not. So, it's merely a bitset. A bitset which can form 
> >>>>> derived bitsets. 
> >>>>> 
> >>>> 
> >>>> no it is another thing, 
> >>>> https://en.wikipedia.org/wiki/Capability-based_security 
> >>>> 
> >>> 
> >>> I know what it is. It is still a set of bits, or, permissions, or 
> >>> capabilities. The capabilities are usually provided by the OS services. 
> >>> 
> >>> But as you didn't specify whether you wanted to map onto an existing OS' 
> >>> capabilities or if you wanted to implement your own, I went with the latter. 
> >> 
> >> there isn't any existing OS that provides capability-security from the 
> >> ground up, I intend to implement my own. 
> >> 
> >seL4? The whitepaper includes the proofs also.
> eh yes, I forgot seL4, however it isn't much used I think
Has Qualcomm and Apple iOS abandoned it when it changed from OKL4 to seL4?
I thought they use it for isolating their modem firmware from general OS.

  reply	other threads:[~2021-10-12 11:51 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-11 13:33 The Ravenscar profile and capabilities paradigm Doctor Who
2021-10-11 14:48 ` Luke A. Guest
2021-10-11 19:25   ` Doctor Who
2021-10-11 19:36     ` Luke A. Guest
2021-10-11 19:50       ` Doctor Who
2021-10-12  0:45         ` Luke A. Guest
2021-10-12  0:47           ` Luke A. Guest
2021-10-12  2:31             ` Doctor Who
2021-10-12  2:29           ` Doctor Who
2021-10-12  2:35             ` Doctor Who
2021-10-12  3:19             ` Doctor Who
2021-10-12  5:17         ` Richard Iswara
2021-10-12  6:42           ` Doctor Who
2021-10-12 11:51             ` Richard Iswara [this message]
2021-10-12 11:58               ` Luke A. Guest
2021-10-12 15:04                 ` Doctor Who
2021-10-11 15:32 ` Simon Wright
2021-10-11 19:24   ` Doctor Who
2021-10-12 15:01     ` Shark8
2021-10-12 15:02       ` Luke A. Guest
2021-10-12 15:33         ` Shark8
2021-10-12 15:43           ` Luke A. Guest
2021-10-12 18:21             ` Doctor Who
2021-10-12 18:24               ` Doctor Who
2021-10-14  3:46       ` Doctor Who
2021-10-14 15:16         ` Shark8
2021-10-14 16:38           ` Doctor Who
2021-10-14 21:20             ` Simon Wright
2021-10-15 11:21               ` Doctor Who
2021-10-11 15:48 ` Shark8
2021-10-11 19:25   ` Doctor Who
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox