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 Newsgroups: comp.lang.ada Subject: Re: The Ravenscar profile and capabilities paradigm Date: Mon, 11 Oct 2021 21:50:14 +0200 Organization: A noiseless patient Spider Message-ID: References: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> 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="8129"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/aimrcysi1+x6FniWKOwG6" User-Agent: ForteAgent/8.00.32.1272 Cancel-Lock: sha1:y2BmkxYo5GPK8zcZT4q//m1ITy4= Xref: reader02.eternal-september.org comp.lang.ada:62962 List-Id: On Mon, 11 Oct 2021 20:36:46 +0100, "Luke A. Guest" wrote: >On 11/10/2021 20:25, Doctor Who wrote: >> On Mon, 11 Oct 2021 15:48:37 +0100, "Luke A. Guest" >> 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.