From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Doctor Who <doc@tardis.org>
Newsgroups: comp.lang.ada
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Mon, 11 Oct 2021 21:25:44 +0200
Organization: A noiseless patient Spider
Message-ID: <bt39mgle1it9naiafoe0jprc5sd1lr3kku@4ax.com>
References: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> <sk1iuf$p1r$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="ace827ba4debc2d1b63bc442ab107c9b";
	logging-data="12827"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/6HsCjsTScTpsvk2Bkk9iH"
User-Agent: ForteAgent/8.00.32.1272
Cancel-Lock: sha1:lGAXlO6TmzEyvczQgK61e8WWUyg=
Xref: reader02.eternal-september.org comp.lang.ada:62960
List-Id: <comp.lang.ada>

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