Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 13 Apr 2023 14:19:10 -0400
From:      Ed Maste <emaste@freebsd.org>
To:        Steffen Nurpmeso <steffen@sdaoden.eu>
Cc:        freebsd-hackers@freebsd.org
Subject:   Re: capsicum(4): .. and SIGTRAP causing syscall really is in siginfo_t.si_errno?
Message-ID:  <CAPyFy2D27qRn4i4V7V6Lt4nFq63C6P4HwF5dOgPRE54yeDKvcw@mail.gmail.com>
In-Reply-To: <20230412203438.IcwD7%steffen@sdaoden.eu>
References:  <20230412144921.8plun%steffen@sdaoden.eu> <CAPyFy2Do80xZmNFdtG=xbRuscKaQQM7rQ5ir5TVZENX3UfyKtg@mail.gmail.com> <20230412203438.IcwD7%steffen@sdaoden.eu>

next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 12 Apr 2023 at 16:34, Steffen Nurpmeso <steffen@sdaoden.eu> wrote:
>
> I think capsicum is very, very smart and capable, like CloudABI
> was.  Yet very hard to work with as it needs so many new *at(),
> needs to have hooks to modify descriptors after accept(), and
> openat(), etc.  And needs user-path <> realpath(3) mappings .. the
> way i do it.)

Indeed. These limitations all stem from the properties that give
Capsicum its security properties (no access to global namespaces or
ambient authority). It is "relatively" straightforward to use when
incorporated into new software from the beginning, but certainly
harder to retrofit.

realpath is an interesting case, as in capability mode there is no
absolute root directory. All paths are necessarily relative to a
directory fd. The Casper fileargs service provides a realpath
replacement, but I've also started looking into what a Capsicum-native
realpathat would be.

> As i am very new with this -- am i correct assuming that once
> a capability was set on a directory or listening socket, opened
> / accepted FDs inherit the capability of "their parent"?

In general, yes. Rights can be removed or subsetted but not added.

> The capsicum(4) and rights(4) etc manuals are
> complete, but for someone without any real foreknowledge they miss
> some small hints, here and there.  Not that Linux does that
> better.  Or OpenBSD, where you need at least one unveil with "some
> meat" in order to apply it, even if you simply want no paths at
> all.  .. I think.)

I think capsicum(4) in particular could use more information, but man
pages are always going to be closer to reference material. The initial
Capsicum paper is a good read to understand Capsicum's design and
approaches that can be taken to refactor existing software:
https://www.cl.cam.ac.uk/research/security/capsicum/papers/2010usenix-security-capsicum-website.pdf

> I had the impression that casper uses a supervising process.

I wouldn't describe it as a "supervising process", but Casper does
indeed involve additional process(es). In essence Casper services are
performing the same work that an explicitly privilege-separated
process would do. With cap_fileargs for example you have one process
(that is not operating in capability mode) with access to the
filesystem (global namespace). That process opens files, and passes
file descriptors to the capability-mode process that performs the
work.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAPyFy2D27qRn4i4V7V6Lt4nFq63C6P4HwF5dOgPRE54yeDKvcw>