login
Header Space

 
 

Re: silent semantic changes with reiser4

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
Cc: Christoph Hellwig <hch@...>, Hans Reiser <reiser@...>, <linux-fsdevel@...>, <linux-kernel@...>, Alexander Lyamin aka FLX <flx@...>, ReiserFS List <reiserfs-list@...>
Date: Thursday, August 26, 2004 - 9:53 am

If I may chime in here...

On Wed, Aug 25, 2004 at 01:22:55PM -0700, Linus Torvalds wrote:

This is an issue that directly affects work I am doing in extended
cryptfs:

http://www.linuxsymposium.org/2004/view_abstract.php?content_key=3D55
http://halcrow.us/~mhalcrow/ols2004.pdf
http://halcrow.us/~mhalcrow/ols_cryptfs.sxi

The basic idea is that the cryptographic context for every file is
correlated with the individual file via xattr's.  A file is a unit of
data that should, as it stands, contain all the information requisite
for the encrypting filesystem layer to transparently decrypt (and
encrypt, when the file is written to).  This allows for a key->file
granularity, as opposed to a key->block device (dm-crypt) or a
key->mount point (CFS) granularity.

My grand vision is to have a policy that determines whether or not the
encrypted version of the file or the decrypted version of the file is
read, dependent on whether or not the file is leaving the security
domain (the storage device under the control of the currently running
kernel).  For example, if the ``cp'' command is copying a file from a
filesystem mounted from /dev/hda1 to a filesystem mounted from
/dev/fd0, then the policy would indicate that (unless otherwise noted
in the .cryptfsrc file in the root of the filesystem mounted from
/dev/fd0, which might also contain the default security context for
that filesystem or directory - like whose public keys should be used
to encrypt the symmetric key for data) the file is leaving the
security domain, and the encrypted contents of the file should be
given to cp.  Same with mutt reading an email attachment (as opposed
to, say, .muttrc, where, more likely than not, the unencrypted version
is wanted).

The goal is to enable an ``encrypted by default'' policy, in which
files on the storage devices are independent encrypted units that
remain encrypted until an application that actually needs to see the
decrypted contents opens them.  Then the encryption and decryption is
done transparently by the fs layer, as long as the user has the right
keys.  Extended attributes seem like a natural way to store this
context.

Once you consider that you can have a crypto context for each file,
you can start doing other neat tricks, like keyed hashes over extents
within the file, to allow for dynamic integrity verification during
the read.  If an offset of 1.5 gigabytes into a 2-gigabyte has been
tampered with, then that tampering will be caught when that portion of
the file is read; you don't have to verify the hash of the entire
2-gigabyte file at the time of the open.  Of course, this would very
rapidly overrun the available xattr storage size.  And so to
realistically implement something like this, some new underlying file
format is in order.

In any case, the issue of userspace applications supporting extended
attributes is key to the viability of this approach.  If cp, uuencode,
tar, or what not do not preserve the extended attributes, then the
crypto context is lost, and the file is unreadable.  So the $64,000
question is, just how committed is the community to this whole concept
of extended attributes?  From this point, should I assume that good
xattr support is forthcoming, or should I abandon the idea of using
xattr's for this altogether?

One solution I've been kicking around is to make cryptfs
GnuPG-compatible.  Not only would this eliminate the need to store
some of the crypto context in the xattr set, but it would also
preserve the crypto context with apps that don't know about xattr's,
and it would be possible for users who are not running cryptfs to read
the files with gpg.  Keyed hashes over extents would be doable if
GnuPG allowed for opaque data blobs in the file that gpg would just
ignore when decrypting the file (gnupg-dev list had technical issues
last time I tried to post these ideas to it - any gpg guys around that
can comment on this?).


If xattr's wind up getting supported by a certain critical mass of
applications, then they are somewhat useful for me, although, as
currently implemented, are insufficient for what I really need (keyed
hashes over extents require too much space).

BTW, early this week I migrated cryptfs over to use David Howell's new
keyring, which is working out nicely.

Mike
=2E___________________________________________________________________.
                         Michael A. Halcrow                         =20
       Security Software Engineer, IBM Linux Technology Center      =20
GnuPG Fingerprint: 05B5 08A8 713A 64C1 D35D  2371 2D3C FDDA 3EB6 601D
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
silent semantic changes with reiser4, Christoph Hellwig, (Tue Aug 24, 4:25 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Wed Aug 25, 3:53 pm)
Re: silent semantic changes with reiser4, Chris Friesen, (Wed Aug 25, 4:23 pm)
Re: silent semantic changes with reiser4, Jeremy Allison, (Wed Aug 25, 4:20 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 4:42 am)
Re: silent semantic changes with reiser4, Rik van Riel, (Thu Aug 26, 9:27 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 7:53 pm)
Re: silent semantic changes with reiser4, Markus , (Thu Aug 26, 9:56 am)
Re: silent semantic changes with reiser4, Paul Jackson, (Thu Aug 26, 3:58 pm)
Re: silent semantic changes with reiser4, Christoph Hellwig, (Wed Aug 25, 4:08 pm)
Re: silent semantic changes with reiser4, Linus Torvalds, (Wed Aug 25, 4:22 pm)
Re: silent semantic changes with reiser4, Mikulas Patocka, (Wed Aug 25, 8:18 pm)
Re: silent semantic changes with reiser4, Linus Torvalds, (Wed Aug 25, 8:27 pm)
Re: silent semantic changes with reiser4, Mikulas Patocka, (Wed Aug 25, 8:51 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 4:36 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 6:53 am)
Re: silent semantic changes with reiser4, Christoph Hellwig, (Thu Aug 26, 6:59 am)
Re: silent semantic changes with reiser4, Spam, (Thu Aug 26, 7:17 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 7:07 am)
Re: silent semantic changes with reiser4, Rik van Riel, (Wed Aug 25, 8:57 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 4:40 am)
Re: silent semantic changes with reiser4, Lars Marowsky-Bree, (Thu Aug 26, 10:46 am)
Re: silent semantic changes with reiser4, Helge Hafting, (Thu Aug 26, 3:51 am)
Re: silent semantic changes with reiser4, Paul Jackson, (Thu Aug 26, 5:21 am)
Re: silent semantic changes with reiser4, Helge Hafting, (Fri Aug 27, 8:33 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 6:47 am)
Re: silent semantic changes with reiser4, Paul Jackson, (Thu Aug 26, 7:19 am)
Re: silent semantic changes with reiser4, Paul Jackson, (Thu Aug 26, 5:44 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 4:43 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Wed Aug 25, 4:41 pm)
Re: silent semantic changes with reiser4, Rik van Riel, (Wed Aug 25, 5:03 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 5:00 am)
Re: silent semantic changes with reiser4, Markus T, (Wed Aug 25, 4:58 pm)
Re: silent semantic changes with reiser4, Chris Mason, (Wed Aug 25, 4:51 pm)
Re: silent semantic changes with reiser4, Michael Halcrow, (Thu Aug 26, 9:53 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 6:26 pm)
Re: silent semantic changes with reiser4, Matt Mackall, (Wed Aug 25, 5:52 pm)
Re: silent semantic changes with reiser4, Linus Torvalds, (Wed Aug 25, 6:21 pm)
Re: silent semantic changes with reiser4, Christoph Hellwig, (Wed Aug 25, 4:35 pm)
Re: silent semantic changes with reiser4, Linus Torvalds, (Wed Aug 25, 5:00 pm)
Re: silent semantic changes with reiser4, Jamie Lokier, (Wed Aug 25, 8:11 pm)
Re: silent semantic changes with reiser4, Jamie Lokier, (Wed Aug 25, 9:00 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 4:49 am)
Re: silent semantic changes with reiser4, Joel Becker, (Thu Aug 26, 2:35 pm)
Re: silent semantic changes with reiser4, Markus T, (Fri Aug 27, 5:19 am)
Re: silent semantic changes with reiser4, Matthew Wilcox, (Fri Aug 27, 8:26 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 3:53 pm)
Re: silent semantic changes with reiser4, Adrian Bunk, (Thu Aug 26, 10:05 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 11:02 am)
Re: silent semantic changes with reiser4, Horst von Brand, (Sat Aug 28, 7:14 pm)
Re: The argument for fs assistance in handling archives (was..., Christer Weinigel, (Mon Sep 6, 11:55 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 4:38 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Mon Sep 6, 4:08 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Mon Sep 6, 8:54 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 7:52 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 7:41 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 5:48 pm)
Re: The argument for fs assistance in handling archives, Clemens Schwaighofer, (Mon Sep 6, 8:53 am)
Re: The argument for fs assistance in handling archives, Clemens Schwaighofer, (Mon Sep 6, 8:59 am)
Re: The argument for fs assistance in handling archives, Frank van Maarseveen, (Mon Sep 6, 9:01 am)
Re: The argument for fs assistance in handling archives, Clemens Schwaighofer, (Mon Sep 6, 9:17 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:08 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:28 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Fri Sep 3, 12:37 am)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Fri Sep 3, 9:09 am)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Thu Sep 2, 8:18 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:25 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 6:02 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 6:11 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 6:26 pm)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Mon Sep 6, 4:41 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Thu Sep 2, 6:56 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Fri Sep 3, 7:55 pm)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Wed Sep 8, 5:56 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Fri Sep 3, 4:50 am)
Re: The argument for fs assistance in handling archives (was..., Frank van Maarseveen, (Fri Sep 3, 4:55 am)
Re: The argument for fs assistance in handling archives, Dr. Giovanni A. Orlando, (Mon Sep 6, 5:15 am)
Re: The argument for fs assistance in handling archives, Grzegorz Jaśkiewicz, (Mon Sep 6, 8:55 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:17 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Fri Sep 3, 7:45 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Fri Sep 3, 8:13 pm)
Re: The argument for fs assistance in handling archives, Stephan von Krawczynski, (Sat Sep 4, 7:42 am)
Re: The argument for fs assistance in handling archives, David Masover, (Sat Sep 4, 2:27 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Sat Sep 4, 1:37 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:25 pm)
Re: The argument for fs assistance in handling archives, Dave Kleikamp, (Fri Sep 3, 8:50 am)
Re: The argument for fs assistance in handling archives, David Masover, (Fri Sep 3, 8:25 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Wed Sep 1, 11:35 pm)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Wed Sep 1, 11:38 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 12:27 am)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Thu Sep 2, 2:04 am)
Re: The argument for fs assistance in handling archives, Robin Rosenberg, (Thu Sep 2, 3:55 am)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Thu Sep 2, 3:36 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:11 pm)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Thu Sep 2, 1:50 pm)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Thu Sep 2, 11:32 am)
Re: The argument for fs assistance in handling archives, Timothy Miller, (Wed Sep 15, 1:23 pm)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Thu Sep 16, 4:29 am)
Re: The argument for fs assistance in handling archives, Martin J. Bligh, (Thu Sep 2, 2:22 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:41 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:34 pm)
Re: The argument for fs assistance in handling archives, Steve Bergman, (Thu Sep 2, 3:52 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:35 pm)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Fri Sep 3, 1:26 pm)
Re: The argument for fs assistance in handling archives, Bernd Petrovitsch, (Fri Sep 3, 4:49 am)
Re: The argument for fs assistance in handling archives, Martin J. Bligh, (Thu Sep 2, 4:16 pm)
Re: The argument for fs assistance in handling archives, Christer Weinigel, (Thu Sep 2, 2:38 pm)
Re: The argument for fs assistance in handling archives, Brian Beattie, (Fri Sep 3, 9:16 am)
Re: The argument for fs assistance in handling archives, Linus Torvalds, (Thu Sep 2, 1:43 pm)
Re: The argument for fs assistance in handling archives, John Stoffel, (Thu Sep 2, 10:24 am)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Thu Sep 2, 11:40 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Fri Sep 3, 4:30 am)
Re: The argument for fs assistance in handling archives, Oliver Neukum, (Thu Sep 2, 7:09 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 8:43 pm)
Re: The argument for fs assistance in handling archives, Christoph Hellwig, (Fri Sep 3, 4:13 am)
Re: The argument for fs assistance in handling archives, Oliver Neukum, (Fri Sep 3, 4:30 am)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:39 pm)
Re: The argument for fs assistance in handling archives, David Masover, (Thu Sep 2, 9:36 pm)
Re: The argument for fs assistance in handling archives, John Stoffel, (Thu Sep 2, 10:35 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Thu Sep 2, 5:26 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Fri Sep 3, 4:22 am)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Fri Sep 3, 1:41 pm)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Mon Sep 6, 9:25 am)
Re: The argument for fs assistance in handling archives, Horst von Brand, (Fri Sep 3, 10:27 pm)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Mon Sep 6, 9:43 am)
Re: The argument for fs assistance in handling archives, Alexander G. M. Smith, (Sat Sep 4, 9:20 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Wed Sep 8, 5:24 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Thu Sep 9, 7:22 am)
Re: The argument for fs assistance in handling archives, Helge Hafting, (Fri Sep 3, 4:28 am)
Re: The argument for fs assistance in handling archives, Christian Mayrhuber, (Thu Sep 2, 10:38 am)
Re: The argument for fs assistance in handling archives, David Masover, (Wed Sep 1, 11:46 pm)
Re: silent semantic changes with reiser4, Timothy Miller, (Thu Sep 9, 10:13 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Fri Sep 10, 1:22 am)
Re: silent semantic changes with reiser4, Horst von Brand, (Fri Sep 10, 11:33 am)
Re: silent semantic changes with reiser4, Alexander G. M. Smith, (Fri Sep 10, 8:16 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Fri Sep 10, 12:32 pm)
Re: silent semantic changes with reiser4, Peter Foldiak, (Fri Sep 10, 2:32 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Fri Sep 10, 2:57 am)
Re: silent semantic changes with reiser4, Timothy Miller, (Fri Sep 10, 11:47 am)
Re: silent semantic changes with reiser4, Hans Reiser, (Fri Sep 10, 1:51 pm)
Re: silent semantic changes with reiser4, Horst von Brand, (Fri Sep 10, 2:15 pm)
Re: silent semantic changes with reiser4, Timothy Miller, (Fri Sep 10, 8:00 pm)
Re: silent semantic changes with reiser4, Wayne Scott, (Fri Sep 10, 11:50 am)
Re: silent semantic changes with reiser4, Horst von Brand, (Fri Sep 10, 1:50 pm)
Re: silent semantic changes with reiser4, Christophe Saout, (Thu Aug 26, 10:25 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 11:04 am)
Re: silent semantic changes with reiser4, Alex Zarochentsev, (Sun Aug 29, 8:34 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Wed Sep 1, 6:05 pm)
Re: silent semantic changes with reiser4, Shaya Potter, (Sun Aug 29, 11:52 am)
Re: silent semantic changes with reiser4, Nikita Danilov, (Thu Aug 26, 11:41 am)
Re: silent semantic changes with reiser4, Christophe Saout, (Thu Aug 26, 11:12 am)
Re: silent semantic changes with reiser4, Jamie Lokier, (Thu Aug 26, 12:00 pm)
Re: silent semantic changes with reiser4, Hans Reiser, (Thu Aug 26, 10:17 pm)
Re: silent semantic changes with reiser4, Matthew Wilcox, (Thu Aug 26, 10:45 am)