From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Mon, 11 Oct 2021 20:36:46 +0100 [thread overview]
Message-ID: <sk23qn$11it$1@gioia.aioe.org> (raw)
In-Reply-To: bt39mgle1it9naiafoe0jprc5sd1lr3kku@4ax.com
On 11/10/2021 20:25, Doctor Who wrote:
> On Mon, 11 Oct 2021 15:48:37 +0100, "Luke A. Guest"
> <laguest@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.
next prev parent reply other threads:[~2021-10-11 19:36 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 [this message]
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
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