On 4/22/2019 5:46 AM, Stephen Smalley wrote:
On 4/21/19 1:31 PM, Casey Schaufler wrote:
On 4/19/2019 8:27 AM, Stephen Smalley wrote:
On 4/18/19 8:44 PM, Casey Schaufler wrote:
This patchset provides the changes required for
the any security module to stack safely with any other.
A new process attribute identifies which security module
information should be reported by SO_PEERSEC and the
/proc/.../attr/current interface. This is provided by
/proc/.../attr/display. Writing the name of the security
module desired to this interface will set which LSM hooks
will be called for this information. The first security
module providing the hooks will be used by default.
The use of integer based security tokens (secids) is
generally (but not completely) replaced by a structure
lsm_export. The lsm_export structure can contain information
for each of the security modules that export information
outside the LSM layer.
The LSM interfaces that provide "secctx" text strings
have been changed to use a structure "lsm_context"
instead of a pointer/length pair. In some cases the
interfaces used a "char *" pointer and in others a
"void *". This was necessary to ensure that the correct
release mechanism for the text is used. It also makes
many of the interfaces cleaner.
Security modules that use Netlabel must agree on the
labels to be used on outgoing packets. If the modules
do not agree on the label option to be used the operation
will fail.
Netfilter secmarks are restricted to a single security
module. The first module using the facility will "own"
the secmarks.
Is it expected that enabling all security modules with this change
will yield permission denials on packet send/receive (e.g. sendmsg()
fails with permission denied), even without any configuration of
NetLabel or SECMARK? That's what I see.
Yes.
Smack is much more aggressive about using labeled networking
than SELinux. Smack tells Netlabel to label networks, whereas
SELinux expects them to be unlabeled. Smack has the concept of
an "ambient" label, which is applied to unlabeled packets, and
for which packets are sent unlabeled. SELinux only uses netlabel
for the MLS component, whereas Smack uses it for the entire
label. In short, it's amazing if there's a case where they do
agree.
You can make the default configuration work better by specifying
that the Smack "floor" label be treated more like the unconfined_t.
# echo _ 0 0 0 > /sys/fs/smackfs/cipso2
# echo NotFloor > /sys/fs/smackfs/ambient
Will result in a situation where the two MAC systems will agree
much more often.
Not sure that should be required given that SELinux doesn't enable
labeled networking at all by default,
SELinux doesn't. Smack does. Smack always enables labeled networking.
so there is no real conflict until/unless someone configures labeled
networking for SELinux.
Labeled networking is independent of the security modules.
Netlabel provides mechanism and leaves policy up to whoever
might look at the lsm_secattr. Once Smack sets the default
labeling everyone get the labels.
I'll defer to Paul on that question.
Given this restriction, to what extent have you tested Smack+SELinux
together and what worked and didn't work? Everything except for
networking-related tests?
Exporting security information, either by netlabel, netfilter
secmarks or security contexts has always been the challenge.
User space has never had to deal with the possibility that
there might be more than one security module to deal with.
A system that assumes a particular security module, as do
Fedora and Ubuntu, will have some opportunities for improvement
in the full stacking world.
I have been using Fedora 29 as a primary testbed. The
Fedora user space expects SELinux and so long as SELinux
appears before Smack in the LSM list, it's happy except
for the networking. If you put Smack ahead of SELinux the
user space fails when it tries to get or set SELinux
attributes. This is because the kernel uses the first
module providing the interfaces like SO_PEERSEC, and the
code only wants to see SELinux attributes.
I'm not 100% sure I can explain the behavior of overlayfs
in the combined environment, but then I'm not sure I really
understand how it's expected to work in any case.
