From: ramsdell@linus.mitre.org (John D. Ramsdell)
To: SELinux@tycho.nsa.gov
Cc: ramsdell@mitre.org, sds@tycho.nsa.gov
Subject: ANN: SLAT 2.0
Date: 09 Jul 2005 18:11:41 -0400 [thread overview]
Message-ID: <ogtvf3jmxya.fsf@divan.mitre.org> (raw)
In-Reply-To: <e8a2934d050709003658d0eda7@mail.gmail.com>
SLAT is used to analyze SE Linux policy, and see if it meets policy
goals. It does so by transforming policy and the goals into input for
a model checker. The model checker reports the policy goal the
failures it finds.
SLAT version 2.0 is available at <http://www.mitre.org/tech/selinux>.
The current MLS format is not accepted by SLAT 1.x.x, so this version
uses APOL's permission mappings to specify the direction in which
information flows for each class-permission pair. It also analyzes
binary policies instead of the source version of the policy. If you
download the source version of SLAT 2.0, be sure to install
libsepol-devel.
Sorry if this is a repeat. I thought I sent out the same message
yesterday.
John
--
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.
prev parent reply other threads:[~2005-07-11 13:08 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-07-09 7:36 some problem SE Linux Preeti Malakar
2005-07-09 22:11 ` John D. Ramsdell [this message]
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=ogtvf3jmxya.fsf@divan.mitre.org \
--to=ramsdell@linus.mitre.org \
--cc=SELinux@tycho.nsa.gov \
--cc=ramsdell@mitre.org \
--cc=sds@tycho.nsa.gov \
/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.