From: "Christopher J. PeBenito" <cpebenito@tresys.com>
To: HarryCiao <harrytaurus2002@hotmail.com>
Cc: <dwalsh@redhat.com>, <qingtao.cao@windriver.com>,
<slawrence@tresys.com>, <selinux@tycho.nsa.gov>
Subject: Re: [v0 PATCH 6/6] Skip tunable identifier and cond_node_t in expansion.
Date: Wed, 24 Aug 2011 08:11:23 -0400 [thread overview]
Message-ID: <4E54EA6B.2030900@tresys.com> (raw)
In-Reply-To: <SNT139-W39AB9329AEFF0B29157316AB110@phx.gbl>
On 08/24/11 06:32, HarryCiao wrote:
> Hi Chris,
>
>> Date: Tue, 23 Aug 2011 09:58:00 -0400
>> From: cpebenito@tresys.com
>> To: dwalsh@redhat.com
>> CC: qingtao.cao@windriver.com; slawrence@tresys.com; selinux@tycho.nsa.gov
>> Subject: Re: [v0 PATCH 6/6] Skip tunable identifier and cond_node_t in
> expansion.
>>
>> On 08/23/11 09:43, Daniel J Walsh wrote:
>> > Eliminating booleans would be great and replacing them with tunables,
>> > but the tunables must be discoverable, and it must be easy for the
>> > administrator to discover the "tunable" and turn it on.
>> >
>> > Currently audit2allow/audit2why turns on all booleans in a policy and
>> > checks to see if an AVC would be allowed with any boolean. Then it
>> > prints out the booleans that would have allowed the access. We use
>> > this functionality within setroubleshoot. This is critical to making
>> > selinux policy usable.
>> >
> &g t; > User wants to allow ftp to access homedirs, he sets up ftp and
> SELinux
>> > blocks the access. Setroubleshoot comes up and says turn on the
>> > ftp_home_dir boolean to allow this access.
>> >
>> >
>> > If we can not duplicate this functionality then I NAK the change from
>> > booleans to tunables.
>>
>> Seems very easy to reproduce, as long as you turn on save-linked in
>> semanage.conf. The linked policy would have all the tunable
>> information, right Harry?
>>
>
> The implementation of the save-linked option has no idea about the
> effort to separate tunables from booleans, so I am afraid it won't help
> much.
So you're saying that when the linked policy file is written out, the
disabled tunables are already gone or all of the tunables information is
gone?
> However, you did enlighten me to create a new option "handle-tunable"
> for semanage.conf, then we can specify whether discarding tunable is
> desirable and its value would be saved into a new member
> "handle_tunable" in policydb_t. Then in the separation_tunables() in
> link .c, policydb_t.handle_tunable would be consulted about how to
> handle tunables.
>
> By default this handle-tunable option for semanage.conf could be set to
> "discard", if audit2allow/audit2why are needed to debug AVC denied
> messages, we could set this option to "preserve" and rebuild and reload
> policy.X. When the related tunable is found we could toggle its default
> value to true and rebuild policy.X with the option back to "discard" again.
>
> This way I think Dan's worries would be addressed. Right?
>
> BTW, Is this the correct or best way to pass configuration options on to
> link process? I have created two patches for above logic(see attached),
> however I am pretty new to semanage and run into syntax error while
> parsing semanage.conf. Chris, could you please kindly take a look at
> what has been wrong in my 0007 patch? Many thanks!
I'll leave this up to the userspace maintainers :)
--
Chris PeBenito
Tresys Technology, LLC
www.tresys.com | oss.tresys.com
--
This message was distributed to subscribers of the selinux mailing list.
If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with
the words "unsubscribe selinux" without quotes as the message.
next prev parent reply other threads:[~2011-08-24 12:11 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-23 10:08 v0 Separate tunables from booleans Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 1/6] Indicate when boolean is indeed a tunable Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 2/6] Separate tunable from boolean during compile Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 3/6] Write and read TUNABLE flags in related data structures Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 4/6] Permanently enable the if or else branch of a tunable during link Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 5/6] Copy and check the cond_bool_datum_t.flags " Harry Ciao
2011-08-23 10:08 ` [v0 PATCH 6/6] Skip tunable identifier and cond_node_t in expansion Harry Ciao
2011-08-23 13:43 ` Daniel J Walsh
2011-08-23 13:58 ` Christopher J. PeBenito
2011-08-24 10:32 ` HarryCiao
2011-08-24 12:11 ` Christopher J. PeBenito [this message]
2011-08-24 18:00 ` Joshua Brindle
2011-08-25 10:36 ` Harry Ciao
2011-08-24 18:02 ` Joshua Brindle
2011-08-25 3:22 ` Harry Ciao
2011-08-25 4:22 ` Joshua Brindle
2011-08-25 10:38 ` Harry Ciao
2011-08-24 17:54 ` Joshua Brindle
2011-08-24 20:24 ` Daniel J Walsh
2011-08-24 20:34 ` Joshua Brindle
2011-08-24 21:04 ` Daniel J Walsh
2011-08-24 16:02 ` v0 Separate tunables from booleans Eric Paris
2011-08-25 6:17 ` Harry Ciao
2011-08-25 13:04 ` Daniel J Walsh
2011-08-25 13:35 ` James Carter
2011-08-26 14:28 ` Daniel J Walsh
2011-08-26 1:17 ` Harry Ciao
2011-08-26 2:22 ` Eric Paris
2011-08-26 12:59 ` Daniel J Walsh
2011-08-26 13:06 ` Christopher J. PeBenito
2011-08-26 13:08 ` Christopher J. PeBenito
2011-08-26 14:11 ` Christopher J. PeBenito
2011-08-24 17:38 ` Christopher J. PeBenito
2011-08-24 17:52 ` Joshua Brindle
2011-08-25 5:31 ` Harry Ciao
2011-08-25 12:56 ` Joshua Brindle
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4E54EA6B.2030900@tresys.com \
--to=cpebenito@tresys.com \
--cc=dwalsh@redhat.com \
--cc=harrytaurus2002@hotmail.com \
--cc=qingtao.cao@windriver.com \
--cc=selinux@tycho.nsa.gov \
--cc=slawrence@tresys.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.