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:24:44 +0200
Organization: A noiseless patient Spider
Message-ID: <en39mglcsdhjj47ada5hsvv1vubcukq1vu@4ax.com>
References: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> <lymtnffugy.fsf@pushface.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="11538"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/2nltqHQisnj7yYnGP2wPD"
User-Agent: ForteAgent/8.00.32.1272
Cancel-Lock: sha1:cXCewmcGAna/fN4sCw7EFYuucTg=
Xref: reader02.eternal-september.org comp.lang.ada:62958
List-Id: <comp.lang.ada>

On Mon, 11 Oct 2021 16:32:13 +0100, Simon Wright <simon@pushface.org>
wrote:

>Doctor Who <doc@tardis.org> writes:
>
>> someone knows how to introduce the capabilities paradigm in Ada,
>> specifically for programs written using the Ravenscar profile ?
>
>Google hasn't helped me to understand what you're getting at. Perhaps
>you could expand?


wikipedia has a good explanation:
https://en.wikipedia.org/wiki/Capability-based_security