123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753 |
- "Good for you, you've decided to clean the elevator!"
- - The Elevator, from Dark Star
- Smack is the Simplified Mandatory Access Control Kernel.
- Smack is a kernel based implementation of mandatory access
- control that includes simplicity in its primary design goals.
- Smack is not the only Mandatory Access Control scheme
- available for Linux. Those new to Mandatory Access Control
- are encouraged to compare Smack with the other mechanisms
- available to determine which is best suited to the problem
- at hand.
- Smack consists of three major components:
- - The kernel
- - Basic utilities, which are helpful but not required
- - Configuration data
- The kernel component of Smack is implemented as a Linux
- Security Modules (LSM) module. It requires netlabel and
- works best with file systems that support extended attributes,
- although xattr support is not strictly required.
- It is safe to run a Smack kernel under a "vanilla" distribution.
- Smack kernels use the CIPSO IP option. Some network
- configurations are intolerant of IP options and can impede
- access to systems that use them as Smack does.
- Smack is used in the Tizen operating system. Please
- go to http://wiki.tizen.org for information about how
- Smack is used in Tizen.
- The current git repository for Smack user space is:
- git://github.com/smack-team/smack.git
- This should make and install on most modern distributions.
- There are five commands included in smackutil:
- chsmack - display or set Smack extended attribute values
- smackctl - load the Smack access rules
- smackaccess - report if a process with one label has access
- to an object with another
- These two commands are obsolete with the introduction of
- the smackfs/load2 and smackfs/cipso2 interfaces.
- smackload - properly formats data for writing to smackfs/load
- smackcipso - properly formats data for writing to smackfs/cipso
- In keeping with the intent of Smack, configuration data is
- minimal and not strictly required. The most important
- configuration step is mounting the smackfs pseudo filesystem.
- If smackutil is installed the startup script will take care
- of this, but it can be manually as well.
- Add this line to /etc/fstab:
- smackfs /sys/fs/smackfs smackfs defaults 0 0
- The /sys/fs/smackfs directory is created by the kernel.
- Smack uses extended attributes (xattrs) to store labels on filesystem
- objects. The attributes are stored in the extended attribute security
- name space. A process must have CAP_MAC_ADMIN to change any of these
- attributes.
- The extended attributes that Smack uses are:
- SMACK64
- Used to make access control decisions. In almost all cases
- the label given to a new filesystem object will be the label
- of the process that created it.
- SMACK64EXEC
- The Smack label of a process that execs a program file with
- this attribute set will run with this attribute's value.
- SMACK64MMAP
- Don't allow the file to be mmapped by a process whose Smack
- label does not allow all of the access permitted to a process
- with the label contained in this attribute. This is a very
- specific use case for shared libraries.
- SMACK64TRANSMUTE
- Can only have the value "TRUE". If this attribute is present
- on a directory when an object is created in the directory and
- the Smack rule (more below) that permitted the write access
- to the directory includes the transmute ("t") mode the object
- gets the label of the directory instead of the label of the
- creating process. If the object being created is a directory
- the SMACK64TRANSMUTE attribute is set as well.
- SMACK64IPIN
- This attribute is only available on file descriptors for sockets.
- Use the Smack label in this attribute for access control
- decisions on packets being delivered to this socket.
- SMACK64IPOUT
- This attribute is only available on file descriptors for sockets.
- Use the Smack label in this attribute for access control
- decisions on packets coming from this socket.
- There are multiple ways to set a Smack label on a file:
- # attr -S -s SMACK64 -V "value" path
- # chsmack -a value path
- A process can see the Smack label it is running with by
- reading /proc/self/attr/current. A process with CAP_MAC_ADMIN
- can set the process Smack by writing there.
- Most Smack configuration is accomplished by writing to files
- in the smackfs filesystem. This pseudo-filesystem is mounted
- on /sys/fs/smackfs.
- access
- Provided for backward compatibility. The access2 interface
- is preferred and should be used instead.
- This interface reports whether a subject with the specified
- Smack label has a particular access to an object with a
- specified Smack label. Write a fixed format access rule to
- this file. The next read will indicate whether the access
- would be permitted. The text will be either "1" indicating
- access, or "0" indicating denial.
- access2
- This interface reports whether a subject with the specified
- Smack label has a particular access to an object with a
- specified Smack label. Write a long format access rule to
- this file. The next read will indicate whether the access
- would be permitted. The text will be either "1" indicating
- access, or "0" indicating denial.
- ambient
- This contains the Smack label applied to unlabeled network
- packets.
- change-rule
- This interface allows modification of existing access control rules.
- The format accepted on write is:
- "%s %s %s %s"
- where the first string is the subject label, the second the
- object label, the third the access to allow and the fourth the
- access to deny. The access strings may contain only the characters
- "rwxat-". If a rule for a given subject and object exists it will be
- modified by enabling the permissions in the third string and disabling
- those in the fourth string. If there is no such rule it will be
- created using the access specified in the third and the fourth strings.
- cipso
- Provided for backward compatibility. The cipso2 interface
- is preferred and should be used instead.
- This interface allows a specific CIPSO header to be assigned
- to a Smack label. The format accepted on write is:
- "%24s%4d%4d"["%4d"]...
- The first string is a fixed Smack label. The first number is
- the level to use. The second number is the number of categories.
- The following numbers are the categories.
- "level-3-cats-5-19 3 2 5 19"
- cipso2
- This interface allows a specific CIPSO header to be assigned
- to a Smack label. The format accepted on write is:
- "%s%4d%4d"["%4d"]...
- The first string is a long Smack label. The first number is
- the level to use. The second number is the number of categories.
- The following numbers are the categories.
- "level-3-cats-5-19 3 2 5 19"
- direct
- This contains the CIPSO level used for Smack direct label
- representation in network packets.
- doi
- This contains the CIPSO domain of interpretation used in
- network packets.
- ipv6host
- This interface allows specific IPv6 internet addresses to be
- treated as single label hosts. Packets are sent to single
- label hosts only from processes that have Smack write access
- to the host label. All packets received from single label hosts
- are given the specified label. The format accepted on write is:
- "%h:%h:%h:%h:%h:%h:%h:%h label" or
- "%h:%h:%h:%h:%h:%h:%h:%h/%d label".
- The "::" address shortcut is not supported.
- If label is "-DELETE" a matched entry will be deleted.
- load
- Provided for backward compatibility. The load2 interface
- is preferred and should be used instead.
- This interface allows access control rules in addition to
- the system defined rules to be specified. The format accepted
- on write is:
- "%24s%24s%5s"
- where the first string is the subject label, the second the
- object label, and the third the requested access. The access
- string may contain only the characters "rwxat-", and specifies
- which sort of access is allowed. The "-" is a placeholder for
- permissions that are not allowed. The string "r-x--" would
- specify read and execute access. Labels are limited to 23
- characters in length.
- load2
- This interface allows access control rules in addition to
- the system defined rules to be specified. The format accepted
- on write is:
- "%s %s %s"
- where the first string is the subject label, the second the
- object label, and the third the requested access. The access
- string may contain only the characters "rwxat-", and specifies
- which sort of access is allowed. The "-" is a placeholder for
- permissions that are not allowed. The string "r-x--" would
- specify read and execute access.
- load-self
- Provided for backward compatibility. The load-self2 interface
- is preferred and should be used instead.
- This interface allows process specific access rules to be
- defined. These rules are only consulted if access would
- otherwise be permitted, and are intended to provide additional
- restrictions on the process. The format is the same as for
- the load interface.
- load-self2
- This interface allows process specific access rules to be
- defined. These rules are only consulted if access would
- otherwise be permitted, and are intended to provide additional
- restrictions on the process. The format is the same as for
- the load2 interface.
- logging
- This contains the Smack logging state.
- mapped
- This contains the CIPSO level used for Smack mapped label
- representation in network packets.
- netlabel
- This interface allows specific internet addresses to be
- treated as single label hosts. Packets are sent to single
- label hosts without CIPSO headers, but only from processes
- that have Smack write access to the host label. All packets
- received from single label hosts are given the specified
- label. The format accepted on write is:
- "%d.%d.%d.%d label" or "%d.%d.%d.%d/%d label".
- If the label specified is "-CIPSO" the address is treated
- as a host that supports CIPSO headers.
- onlycap
- This contains labels processes must have for CAP_MAC_ADMIN
- and CAP_MAC_OVERRIDE to be effective. If this file is empty
- these capabilities are effective at for processes with any
- label. The values are set by writing the desired labels, separated
- by spaces, to the file or cleared by writing "-" to the file.
- ptrace
- This is used to define the current ptrace policy
- 0 - default: this is the policy that relies on Smack access rules.
- For the PTRACE_READ a subject needs to have a read access on
- object. For the PTRACE_ATTACH a read-write access is required.
- 1 - exact: this is the policy that limits PTRACE_ATTACH. Attach is
- only allowed when subject's and object's labels are equal.
- PTRACE_READ is not affected. Can be overridden with CAP_SYS_PTRACE.
- 2 - draconian: this policy behaves like the 'exact' above with an
- exception that it can't be overridden with CAP_SYS_PTRACE.
- revoke-subject
- Writing a Smack label here sets the access to '-' for all access
- rules with that subject label.
- unconfined
- If the kernel is configured with CONFIG_SECURITY_SMACK_BRINGUP
- a process with CAP_MAC_ADMIN can write a label into this interface.
- Thereafter, accesses that involve that label will be logged and
- the access permitted if it wouldn't be otherwise. Note that this
- is dangerous and can ruin the proper labeling of your system.
- It should never be used in production.
- relabel-self
- This interface contains a list of labels to which the process can
- transition to, by writing to /proc/self/attr/current.
- Normally a process can change its own label to any legal value, but only
- if it has CAP_MAC_ADMIN. This interface allows a process without
- CAP_MAC_ADMIN to relabel itself to one of labels from predefined list.
- A process without CAP_MAC_ADMIN can change its label only once. When it
- does, this list will be cleared.
- The values are set by writing the desired labels, separated
- by spaces, to the file or cleared by writing "-" to the file.
- If you are using the smackload utility
- you can add access rules in /etc/smack/accesses. They take the form:
- subjectlabel objectlabel access
- access is a combination of the letters rwxatb which specify the
- kind of access permitted a subject with subjectlabel on an
- object with objectlabel. If there is no rule no access is allowed.
- Look for additional programs on http://schaufler-ca.com
- From the Smack Whitepaper:
- The Simplified Mandatory Access Control Kernel
- Casey Schaufler
- casey@schaufler-ca.com
- Mandatory Access Control
- Computer systems employ a variety of schemes to constrain how information is
- shared among the people and services using the machine. Some of these schemes
- allow the program or user to decide what other programs or users are allowed
- access to pieces of data. These schemes are called discretionary access
- control mechanisms because the access control is specified at the discretion
- of the user. Other schemes do not leave the decision regarding what a user or
- program can access up to users or programs. These schemes are called mandatory
- access control mechanisms because you don't have a choice regarding the users
- or programs that have access to pieces of data.
- Bell & LaPadula
- From the middle of the 1980's until the turn of the century Mandatory Access
- Control (MAC) was very closely associated with the Bell & LaPadula security
- model, a mathematical description of the United States Department of Defense
- policy for marking paper documents. MAC in this form enjoyed a following
- within the Capital Beltway and Scandinavian supercomputer centers but was
- often sited as failing to address general needs.
- Domain Type Enforcement
- Around the turn of the century Domain Type Enforcement (DTE) became popular.
- This scheme organizes users, programs, and data into domains that are
- protected from each other. This scheme has been widely deployed as a component
- of popular Linux distributions. The administrative overhead required to
- maintain this scheme and the detailed understanding of the whole system
- necessary to provide a secure domain mapping leads to the scheme being
- disabled or used in limited ways in the majority of cases.
- Smack
- Smack is a Mandatory Access Control mechanism designed to provide useful MAC
- while avoiding the pitfalls of its predecessors. The limitations of Bell &
- LaPadula are addressed by providing a scheme whereby access can be controlled
- according to the requirements of the system and its purpose rather than those
- imposed by an arcane government policy. The complexity of Domain Type
- Enforcement and avoided by defining access controls in terms of the access
- modes already in use.
- Smack Terminology
- The jargon used to talk about Smack will be familiar to those who have dealt
- with other MAC systems and shouldn't be too difficult for the uninitiated to
- pick up. There are four terms that are used in a specific way and that are
- especially important:
- Subject: A subject is an active entity on the computer system.
- On Smack a subject is a task, which is in turn the basic unit
- of execution.
- Object: An object is a passive entity on the computer system.
- On Smack files of all types, IPC, and tasks can be objects.
- Access: Any attempt by a subject to put information into or get
- information from an object is an access.
- Label: Data that identifies the Mandatory Access Control
- characteristics of a subject or an object.
- These definitions are consistent with the traditional use in the security
- community. There are also some terms from Linux that are likely to crop up:
- Capability: A task that possesses a capability has permission to
- violate an aspect of the system security policy, as identified by
- the specific capability. A task that possesses one or more
- capabilities is a privileged task, whereas a task with no
- capabilities is an unprivileged task.
- Privilege: A task that is allowed to violate the system security
- policy is said to have privilege. As of this writing a task can
- have privilege either by possessing capabilities or by having an
- effective user of root.
- Smack Basics
- Smack is an extension to a Linux system. It enforces additional restrictions
- on what subjects can access which objects, based on the labels attached to
- each of the subject and the object.
- Labels
- Smack labels are ASCII character strings. They can be up to 255 characters
- long, but keeping them to twenty-three characters is recommended.
- Single character labels using special characters, that being anything
- other than a letter or digit, are reserved for use by the Smack development
- team. Smack labels are unstructured, case sensitive, and the only operation
- ever performed on them is comparison for equality. Smack labels cannot
- contain unprintable characters, the "/" (slash), the "\" (backslash), the "'"
- (quote) and '"' (double-quote) characters.
- Smack labels cannot begin with a '-'. This is reserved for special options.
- There are some predefined labels:
- _ Pronounced "floor", a single underscore character.
- ^ Pronounced "hat", a single circumflex character.
- * Pronounced "star", a single asterisk character.
- ? Pronounced "huh", a single question mark character.
- @ Pronounced "web", a single at sign character.
- Every task on a Smack system is assigned a label. The Smack label
- of a process will usually be assigned by the system initialization
- mechanism.
- Access Rules
- Smack uses the traditional access modes of Linux. These modes are read,
- execute, write, and occasionally append. There are a few cases where the
- access mode may not be obvious. These include:
- Signals: A signal is a write operation from the subject task to
- the object task.
- Internet Domain IPC: Transmission of a packet is considered a
- write operation from the source task to the destination task.
- Smack restricts access based on the label attached to a subject and the label
- attached to the object it is trying to access. The rules enforced are, in
- order:
- 1. Any access requested by a task labeled "*" is denied.
- 2. A read or execute access requested by a task labeled "^"
- is permitted.
- 3. A read or execute access requested on an object labeled "_"
- is permitted.
- 4. Any access requested on an object labeled "*" is permitted.
- 5. Any access requested by a task on an object with the same
- label is permitted.
- 6. Any access requested that is explicitly defined in the loaded
- rule set is permitted.
- 7. Any other access is denied.
- Smack Access Rules
- With the isolation provided by Smack access separation is simple. There are
- many interesting cases where limited access by subjects to objects with
- different labels is desired. One example is the familiar spy model of
- sensitivity, where a scientist working on a highly classified project would be
- able to read documents of lower classifications and anything she writes will
- be "born" highly classified. To accommodate such schemes Smack includes a
- mechanism for specifying rules allowing access between labels.
- Access Rule Format
- The format of an access rule is:
- subject-label object-label access
- Where subject-label is the Smack label of the task, object-label is the Smack
- label of the thing being accessed, and access is a string specifying the sort
- of access allowed. The access specification is searched for letters that
- describe access modes:
- a: indicates that append access should be granted.
- r: indicates that read access should be granted.
- w: indicates that write access should be granted.
- x: indicates that execute access should be granted.
- t: indicates that the rule requests transmutation.
- b: indicates that the rule should be reported for bring-up.
- Uppercase values for the specification letters are allowed as well.
- Access mode specifications can be in any order. Examples of acceptable rules
- are:
- TopSecret Secret rx
- Secret Unclass R
- Manager Game x
- User HR w
- Snap Crackle rwxatb
- New Old rRrRr
- Closed Off -
- Examples of unacceptable rules are:
- Top Secret Secret rx
- Ace Ace r
- Odd spells waxbeans
- Spaces are not allowed in labels. Since a subject always has access to files
- with the same label specifying a rule for that case is pointless. Only
- valid letters (rwxatbRWXATB) and the dash ('-') character are allowed in
- access specifications. The dash is a placeholder, so "a-r" is the same
- as "ar". A lone dash is used to specify that no access should be allowed.
- Applying Access Rules
- The developers of Linux rarely define new sorts of things, usually importing
- schemes and concepts from other systems. Most often, the other systems are
- variants of Unix. Unix has many endearing properties, but consistency of
- access control models is not one of them. Smack strives to treat accesses as
- uniformly as is sensible while keeping with the spirit of the underlying
- mechanism.
- File system objects including files, directories, named pipes, symbolic links,
- and devices require access permissions that closely match those used by mode
- bit access. To open a file for reading read access is required on the file. To
- search a directory requires execute access. Creating a file with write access
- requires both read and write access on the containing directory. Deleting a
- file requires read and write access to the file and to the containing
- directory. It is possible that a user may be able to see that a file exists
- but not any of its attributes by the circumstance of having read access to the
- containing directory but not to the differently labeled file. This is an
- artifact of the file name being data in the directory, not a part of the file.
- If a directory is marked as transmuting (SMACK64TRANSMUTE=TRUE) and the
- access rule that allows a process to create an object in that directory
- includes 't' access the label assigned to the new object will be that
- of the directory, not the creating process. This makes it much easier
- for two processes with different labels to share data without granting
- access to all of their files.
- IPC objects, message queues, semaphore sets, and memory segments exist in flat
- namespaces and access requests are only required to match the object in
- question.
- Process objects reflect tasks on the system and the Smack label used to access
- them is the same Smack label that the task would use for its own access
- attempts. Sending a signal via the kill() system call is a write operation
- from the signaler to the recipient. Debugging a process requires both reading
- and writing. Creating a new task is an internal operation that results in two
- tasks with identical Smack labels and requires no access checks.
- Sockets are data structures attached to processes and sending a packet from
- one process to another requires that the sender have write access to the
- receiver. The receiver is not required to have read access to the sender.
- Setting Access Rules
- The configuration file /etc/smack/accesses contains the rules to be set at
- system startup. The contents are written to the special file
- /sys/fs/smackfs/load2. Rules can be added at any time and take effect
- immediately. For any pair of subject and object labels there can be only
- one rule, with the most recently specified overriding any earlier
- specification.
- Task Attribute
- The Smack label of a process can be read from /proc/<pid>/attr/current. A
- process can read its own Smack label from /proc/self/attr/current. A
- privileged process can change its own Smack label by writing to
- /proc/self/attr/current but not the label of another process.
- File Attribute
- The Smack label of a filesystem object is stored as an extended attribute
- named SMACK64 on the file. This attribute is in the security namespace. It can
- only be changed by a process with privilege.
- Privilege
- A process with CAP_MAC_OVERRIDE or CAP_MAC_ADMIN is privileged.
- CAP_MAC_OVERRIDE allows the process access to objects it would
- be denied otherwise. CAP_MAC_ADMIN allows a process to change
- Smack data, including rules and attributes.
- Smack Networking
- As mentioned before, Smack enforces access control on network protocol
- transmissions. Every packet sent by a Smack process is tagged with its Smack
- label. This is done by adding a CIPSO tag to the header of the IP packet. Each
- packet received is expected to have a CIPSO tag that identifies the label and
- if it lacks such a tag the network ambient label is assumed. Before the packet
- is delivered a check is made to determine that a subject with the label on the
- packet has write access to the receiving process and if that is not the case
- the packet is dropped.
- CIPSO Configuration
- It is normally unnecessary to specify the CIPSO configuration. The default
- values used by the system handle all internal cases. Smack will compose CIPSO
- label values to match the Smack labels being used without administrative
- intervention. Unlabeled packets that come into the system will be given the
- ambient label.
- Smack requires configuration in the case where packets from a system that is
- not Smack that speaks CIPSO may be encountered. Usually this will be a Trusted
- Solaris system, but there are other, less widely deployed systems out there.
- CIPSO provides 3 important values, a Domain Of Interpretation (DOI), a level,
- and a category set with each packet. The DOI is intended to identify a group
- of systems that use compatible labeling schemes, and the DOI specified on the
- Smack system must match that of the remote system or packets will be
- discarded. The DOI is 3 by default. The value can be read from
- /sys/fs/smackfs/doi and can be changed by writing to /sys/fs/smackfs/doi.
- The label and category set are mapped to a Smack label as defined in
- /etc/smack/cipso.
- A Smack/CIPSO mapping has the form:
- smack level [category [category]*]
- Smack does not expect the level or category sets to be related in any
- particular way and does not assume or assign accesses based on them. Some
- examples of mappings:
- TopSecret 7
- TS:A,B 7 1 2
- SecBDE 5 2 4 6
- RAFTERS 7 12 26
- The ":" and "," characters are permitted in a Smack label but have no special
- meaning.
- The mapping of Smack labels to CIPSO values is defined by writing to
- /sys/fs/smackfs/cipso2.
- In addition to explicit mappings Smack supports direct CIPSO mappings. One
- CIPSO level is used to indicate that the category set passed in the packet is
- in fact an encoding of the Smack label. The level used is 250 by default. The
- value can be read from /sys/fs/smackfs/direct and changed by writing to
- /sys/fs/smackfs/direct.
- Socket Attributes
- There are two attributes that are associated with sockets. These attributes
- can only be set by privileged tasks, but any task can read them for their own
- sockets.
- SMACK64IPIN: The Smack label of the task object. A privileged
- program that will enforce policy may set this to the star label.
- SMACK64IPOUT: The Smack label transmitted with outgoing packets.
- A privileged program may set this to match the label of another
- task with which it hopes to communicate.
- Smack Netlabel Exceptions
- You will often find that your labeled application has to talk to the outside,
- unlabeled world. To do this there's a special file /sys/fs/smackfs/netlabel
- where you can add some exceptions in the form of :
- @IP1 LABEL1 or
- @IP2/MASK LABEL2
- It means that your application will have unlabeled access to @IP1 if it has
- write access on LABEL1, and access to the subnet @IP2/MASK if it has write
- access on LABEL2.
- Entries in the /sys/fs/smackfs/netlabel file are matched by longest mask
- first, like in classless IPv4 routing.
- A special label '@' and an option '-CIPSO' can be used there :
- @ means Internet, any application with any label has access to it
- -CIPSO means standard CIPSO networking
- If you don't know what CIPSO is and don't plan to use it, you can just do :
- echo 127.0.0.1 -CIPSO > /sys/fs/smackfs/netlabel
- echo 0.0.0.0/0 @ > /sys/fs/smackfs/netlabel
- If you use CIPSO on your 192.168.0.0/16 local network and need also unlabeled
- Internet access, you can have :
- echo 127.0.0.1 -CIPSO > /sys/fs/smackfs/netlabel
- echo 192.168.0.0/16 -CIPSO > /sys/fs/smackfs/netlabel
- echo 0.0.0.0/0 @ > /sys/fs/smackfs/netlabel
- Writing Applications for Smack
- There are three sorts of applications that will run on a Smack system. How an
- application interacts with Smack will determine what it will have to do to
- work properly under Smack.
- Smack Ignorant Applications
- By far the majority of applications have no reason whatever to care about the
- unique properties of Smack. Since invoking a program has no impact on the
- Smack label associated with the process the only concern likely to arise is
- whether the process has execute access to the program.
- Smack Relevant Applications
- Some programs can be improved by teaching them about Smack, but do not make
- any security decisions themselves. The utility ls(1) is one example of such a
- program.
- Smack Enforcing Applications
- These are special programs that not only know about Smack, but participate in
- the enforcement of system policy. In most cases these are the programs that
- set up user sessions. There are also network services that provide information
- to processes running with various labels.
- File System Interfaces
- Smack maintains labels on file system objects using extended attributes. The
- Smack label of a file, directory, or other file system object can be obtained
- using getxattr(2).
- len = getxattr("/", "security.SMACK64", value, sizeof (value));
- will put the Smack label of the root directory into value. A privileged
- process can set the Smack label of a file system object with setxattr(2).
- len = strlen("Rubble");
- rc = setxattr("/foo", "security.SMACK64", "Rubble", len, 0);
- will set the Smack label of /foo to "Rubble" if the program has appropriate
- privilege.
- Socket Interfaces
- The socket attributes can be read using fgetxattr(2).
- A privileged process can set the Smack label of outgoing packets with
- fsetxattr(2).
- len = strlen("Rubble");
- rc = fsetxattr(fd, "security.SMACK64IPOUT", "Rubble", len, 0);
- will set the Smack label "Rubble" on packets going out from the socket if the
- program has appropriate privilege.
- rc = fsetxattr(fd, "security.SMACK64IPIN, "*", strlen("*"), 0);
- will set the Smack label "*" as the object label against which incoming
- packets will be checked if the program has appropriate privilege.
- Administration
- Smack supports some mount options:
- smackfsdef=label: specifies the label to give files that lack
- the Smack label extended attribute.
- smackfsroot=label: specifies the label to assign the root of the
- file system if it lacks the Smack extended attribute.
- smackfshat=label: specifies a label that must have read access to
- all labels set on the filesystem. Not yet enforced.
- smackfsfloor=label: specifies a label to which all labels set on the
- filesystem must have read access. Not yet enforced.
- These mount options apply to all file system types.
- Smack auditing
- If you want Smack auditing of security events, you need to set CONFIG_AUDIT
- in your kernel configuration.
- By default, all denied events will be audited. You can change this behavior by
- writing a single character to the /sys/fs/smackfs/logging file :
- 0 : no logging
- 1 : log denied (default)
- 2 : log accepted
- 3 : log denied & accepted
- Events are logged as 'key=value' pairs, for each event you at least will get
- the subject, the object, the rights requested, the action, the kernel function
- that triggered the event, plus other pairs depending on the type of event
- audited.
- Bringup Mode
- Bringup mode provides logging features that can make application
- configuration and system bringup easier. Configure the kernel with
- CONFIG_SECURITY_SMACK_BRINGUP to enable these features. When bringup
- mode is enabled accesses that succeed due to rules marked with the "b"
- access mode will logged. When a new label is introduced for processes
- rules can be added aggressively, marked with the "b". The logging allows
- tracking of which rules actual get used for that label.
- Another feature of bringup mode is the "unconfined" option. Writing
- a label to /sys/fs/smackfs/unconfined makes subjects with that label
- able to access any object, and objects with that label accessible to
- all subjects. Any access that is granted because a label is unconfined
- is logged. This feature is dangerous, as files and directories may
- be created in places they couldn't if the policy were being enforced.
|