Stories
Slash Boxes
Comments

News for nerds, stuff that matters

Slashdot Log In

Log In

Create Account  |  Retrieve Password

One Laptop Per Child Security Spec Released

Posted by ScuttleMonkey on Wed Feb 07, 2007 06:41 PM
from the no-school-like-the-old-school dept.
juwiley writes "The One Laptop Per Child project has released information about its advanced security platform called Bitfrost. Could children with a $100 laptop end up with a better security infrastructure than executives using $5000 laptops powered by Vista? 'What's deeply troubling — almost unbelievable — about [Unix style permissions] is that they've remained virtually the only real control mechanism that a user has over her personal documents today...In 1971, this might have been acceptable...We have set out to create a system that is both drastically more secure and provides drastically more usable security than any mainstream system currently on the market.'"
+ -
story
This discussion has been archived. No new comments can be posted.
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More
Loading... please wait.
  • by filesiteguy (695431) on Wednesday February 07 2007, @06:46PM (#17927264) Homepage
    If my OLPC applications are completely isolated, how am I going to implement this new idea I have for cross-application communication based on shared pipes among apps.

    I'm thinking it would work well to implement such a feature so that the writing widget can talk to the chat widget and the spreadsheet widget. I was planning on calling it, Dynamic Communication Over Methods, or DCOM for short.

    Now I'm bummed!

    • by Morgaine (4316) on Wednesday February 07 2007, @08:23PM (#17928452)
      >> how am I going to implement this new idea I have for cross-application communication based on shared pipes among apps.

      Actually, it's even worse than your funny (but accurate) comment suggests:

      In the Unix model, applications are often built out of multiple cooperating processes, each of which is isolated into its own address space, with strong barriers between processes enforced by the MMU hardware. This makes each separate part more robust, more comprehensible, and more secure.

      In contrast, when Bitfrost throws away the ability of programs to talk to other programs, it is intrinsically encouraging a monolithic approach to program design, which is a huge step backwards both for security and for complexity management.

      Bitfrost is right to deny free access by programs to a user's filestore objects as an important part of its new security framework, but if the price for that is to disallow strong application factoring and partitioning into separate but communicating processes then the cure may be worse than the disease.
      • Are you just trolling?

        If you'll RTFA (yeah, I know, no one does that...), the system can be completely disabled if the user so wishes. The purpose of the PKI is not to force someone to only use certain software; it's to help ensure that security updates haven't been compromised before getting to the laptop.

        As for installing another Linux distribution, would that even be possible at present? I doubt any other distro would run properly on the OLPC's custom hardware without extensive modifications. Sure, you can argue "but they should have the freedom to break it if they want" -- and they do, as the article says. All this stuff can be disabled. Overwriting the OS should disable the anti-theft daemon, since the anti-theft system is implemented entirely in software.

        I think the anti-theft provisions that turn the laptop into a brick are a bit much, but the actual spec (which I'm sure you didn't read either, as you're misquoting it) notes that the lease period can be set to any value (chosen by the country manager who distributes the laptop). A lease period of 3 months is given as an example. And in extreme circumstances, a USB drive with credentials that can be used to extend the lease period without needing access to the internet.

        At any rate, the spec mentions that the anti-theft system is only installed and enabled on the request of the country purchasing the laptops. So it's not like the OLPC group is forcing this on anyone. If the countries are spending the cash on these things, I think it's reasonable that they should be able to try to protect their investment.

        I have a decent number of reservations about the entire OLPC program, but c'mon, at least don't make up shit about it that isn't true.
      • by schwaang (667808) on Wednesday February 07 2007, @10:32PM (#17929540)

        That means that in order to execute any such programs on their OLPC, those programs are going to need to be "signed" by an "authority" before they can be executed.
        Umm, NO.

        If you RTFA, they specifically designed the security model so that children could write their own apps which can do *anything*. But they set up some defaults (which can be overridden) to protect the system.

        What they are aiming at is a way to set sensible limits per-program, at install time:

        The crux of the problem lies in the assumption that any program executing on a system on the user's behalf should have the exact same abilities and permissions as any other program executing on behalf of the same user.
        So at install time, a package (they call it a bundle IIRC) has a list of specific rights that the program will need in order to do its job. If the bundle doesn't ask for a certain right at install time and tries to use it later (because, say, it was maliciously modified), it will be denied.

        If an app *is* signed by OLPC, it can have any right that it specifically asks for at install time. Otherwise, there are some rules about what subsets of rights are allowable together (i.e. asking for certain rights will exclude certain others by default). But again, the whole thing can be overridden.

        This is nothing like Trusted Computing or DRM. It's more like a wrapper around SELinux (I don't know if that's actually how they implemented it).
  • by TinBromide (921574) on Wednesday February 07 2007, @06:49PM (#17927320)
    So, I bet that my cell phone has better security than a $5000 vista laptop, but you can do stuff on that laptop that you can't on my phone. (not sure what, but i'm sure there's something porn related)
  • Drastic? (Score:4, Insightful)

    by geomon (78680) on Wednesday February 07 2007, @06:50PM (#17927322) Homepage Journal
    "drastically more secure and provides drastically more usable security"

    Drastic?

    I'd be willing to work toward "acceptable" or "workable".

    The problem with "drastic" is that it often envisions high frontier technologies when all that is needed is a really well thought out plan.

    If the UNIX system worked well for nearly 40 years, and was fairly simple to implement, then another 40 years *might* be had with something equally simple.
  • Sand dunes (Score:4, Insightful)

    by Space cowboy (13680) * on Wednesday February 07 2007, @06:55PM (#17927426) Journal
    The idea of putting every application into a virtual machine is a good one, but the truism is that security *is* a process, not a checkbox on a feature-list. There is (and always will be) an inverse relationship between security and usability - the more of one, the less of the other. Compartmentalising the applications in such a draconian fashion would appear to be heavily leaning towards the security side, and not the usability side of the argument.

    The article talks about the picture-viewer not being able to access the web. What if I *want* the picture-viewer to access the web ?

    I tihnk I take issue with 99% of applications not needing interaction. If that's true (and I doubt it to be honest), I think that's a failing of software today, not a goal to be strived for. Most of the apps I use daily require web/internet access. I think that's only going to increase over time.

    Simon

    • Re:Sand dunes (Score:5, Informative)

      by Edward Kmett (123105) on Wednesday February 07 2007, @07:58PM (#17928212) Homepage
      Read more closely.

      The document said that it was not possible for the application to request P_DOCUMENT_RO access and network access simultaneously during installation.

      But it also said that it was perfectly OK for a user to go in and explicitly grant P_NET access via the GUI to an application with P_DOCUMENT_RO access, thereby giving you an application that is able to read your images and mass upload them to teh interweb, but only to those users who know enough to explicitly use the security interface.

      Also the OLPC or local government could issue a signed XO package that offered that functionality to younger children.
  • very sceptical (Score:5, Insightful)

    by Tom (822) on Wednesday February 07 2007, @07:07PM (#17927580) Homepage Journal
    Security is a lot like crypto: Designing your own system is a recipe for desaster. Security is hard, and aside from the conceptual stages, small failures in implementation can destroy the best concept.

    So anyone coming up with a "new and improved" security concept is selling an untested solution. Because security is always tested in the field, never (at least never properly) in the lab.

    And yes, Unix permissions are primitive. But they work, they are reliable and we know their shortcomings and limitations.
    • Re:very sceptical (Score:5, Insightful)

      by swillden (191260) <shawn-ds@willden.org> on Wednesday February 07 2007, @09:38PM (#17929124) Homepage Journal

      So anyone coming up with a "new and improved" security concept is selling an untested solution.

      True, but inapplicable in this case. For two reasons.

      1. There are no new concepts in the XO security model.
      2. The traditional security model (used by Unix and Windows) cannot work for the OLPC, so something different is required.

      How can we have a new security model, but no new security model concepts? What's new is that ideas which have been reserved for high-security systems are being applied to a system that large numbers of people will actually use.

      The core ideas are:

      • Sandboxing, aka Mandatory Access Controls. Not only have research systems built on this concept existed for years, but we also have a decade of practical experience with Java sandboxes, and several years of extensive experience with MAC on Linux (SELinux). Specialized high-security operating systems have employed MAC for decades.
      • Chroot jails. Most sysadmins who are serious about security run all Internet-facing applications in jails, to limit the damage that can be done if the app is exploited. The only difference here is that the concept is being applied to all apps.
      • Digital signatures as a way to authorize applications to break out of their constrained (sandboxed and jailed) environments.
      • Allowing users to authorize applications to break out of their constrained environments.
      • Security by default. The system is secure out of the box.

      The only innovation here is in the decision to apply these known security models/tools to all applications on the OLPC. There is some good thought that has gone into determining what kinds of restrictions can be placed on apps, and the bit about constraining the permissions that apps can request during installation (e.g. either network or file access, not both -- without digital signature or explicit user authorization) is clever, but there's nothing fundamentally new.

      But the issue is somewhat deeper than that, as well.

      It's important to realize that the traditional security model does not work for OLPC machines. Why? Because (1) they're specifically designed as computers whose software is highly mutable and (2) they're specifically designed to live as part of a network. The traditional model works great if you can thoroughly prove the integrity of the software on the system and then lock it down -- but you can't do that on machines that are constantly connected to others and always exchanging bits of code and data.

      You can try, of course. And we do. And we've seen just how well it works. Massive botnets of zombies is the result as is high-powered machines dedicating a significant portion of their processing power to defending themselves against malicious code -- and failing.

      The traditional model is fundamentally broken in the networked age, and the OLPC machines are not only networked, but designed to facilitate every user becoming an at least minimally-competent programmer and to encourage widespread, free sharing of user-developed code.

      New problems require new solutions. In this case, it appears that we already had all of the tools required available, they just weren't widely used.

      My prediction: The XO security model will be an outstanding success story. It'll have its problems, and it'll have to be tweaked in various ways, but the basic ideas are so good, and so fundamentally simple, that it will work very well. Application authors will be able to achieve what they want, and security will be generally quite good.

      I also think that the OLPC project is one of the most amazing stories in the history of computing. It's giving a bunch of brilliant people the opportunity to completely re-imagine computing, and they're doing it with a laser focus on the needs of the people who use the computers, rather than the needs of those who sell the computers and the software.

  • by gd23ka (324741) on Wednesday February 07 2007, @07:08PM (#17927596) Homepage
    --"No lockdown. Though in their default settings, the laptop's security
      systems may impose various prohibitions on the user's actions, there
    must exist a way for these security systems to be disabled. When that is
    the case, the machine will grant the user complete control."

    That is the one of the key differences between Bitfrost and Microsoft
    "trusted computing" schemes: you as owner of the box can get around it.
  • by Animats (122034) on Wednesday February 07 2007, @07:34PM (#17927900) Homepage

    It's not hard to do this. Several groups had systems this tight working back in the 1980s. For that matter, Multics had it right in the late 1960s. Linux has it now, in NSA SELinux.

    It breaks existing applications, of course. The OLPC people have a huge advantage - they don't care about existing applications. They can say to application developers, "these are the security constraints - design to them." That's a huge win.

    Somebody should have done this by now for phones and palmtops, but, unfortunately, those things started out so underpowered they barely had an operating system. So they have their own legacy problems.

    • by fwr (69372) on Wednesday February 07 2007, @09:05PM (#17928862)
      To my knowledge SELinux implements MAC (Mandatory Access Control). That is not necessarily the same thing as a virtual machine per application. Pick up a book on the CISSP certification, which I AM going to get in April. There is a lot of information about different methods of access control. From reading the A, yes I RTFA, it doesn't sound like OLPC fits into any of the standard definitions (DAC, MAC, RBAC). It sounds closest to RBAC than the others, but it doesn't really fit that model either. I'd like to hear from other security professionals how they would categorize OLPC, but I think we would need more information first.
  • Two Cents (Score:4, Insightful)

    by kahrytan (913147) on Wednesday February 07 2007, @08:07PM (#17928300) Homepage

    I've got two things to say.

    1. Bring these security additions to public linux distributions.

    2. Would you (and the rest of /.ers) be willing to purchase 1 of these laptops for $200? I say $200 so the extra $100 goes toward a laptop for a child in third world country.
    • Re:More Power to Em (Score:4, Informative)

      by Tom (822) on Wednesday February 07 2007, @07:16PM (#17927692) Homepage Journal
      RTFA. This only protects "against" benign software. Intentionally malicious software has a few hurdles to jump over, but at least the app permission part requires the cooperation of the software in question. In other words: It protects against misbehaving or misappropriated software only.

      Plus it's only a matter of time before the first solitaire clone ships with a "request everything available (and not conflicting with their simple limits model)" setting, because the app dev was too lazy to tie things down.

      If you want a glance at that, install SELinux in non-enforcing mode and look at the log. You'll be surprised what kinds of system calls and file accesses your simple applications make that they don't really need. Much of that is just routine init stuff from some library they use, and most fails silently and with no trouble if they can't get that port or file lock they request, but still...
    • by pla (258480) on Wednesday February 07 2007, @07:28PM (#17927814) Journal
      I wonder if the author's used chmod, chown, etc.? What's the essential difference between Unix style permissions and other permission systems?

      Well, Windows uses the ACL system of permissions it stole from VMS. It actually does provide more control (that you don't need 99.9% of the time), such as multiple groups having different levels of permissions.

      Increasingly complex file-level security does come with one major drawback, however... I can look at a file under Linux and instantly tell (possibly with a quick check of the members of a single group) who has what access to it. Under Windows, good luck with that. XP actually has an advanced security tab, "Effective Permissions", solely for the purpose of testing what access a given user has to a file or directory. Short of that tool, some of the more complex possible configurations (which don't take any sort of unrealistically contrived setups to get, such as a combination of local and domain groups having both inherited and locally set permissions) would leave you feeling very uncomfortable guessing who has access to a given file. And of course, that tab only lets you check one user or group at a time, so it proves utterly useless in answering the simple question "Who can overwrite this file".

      In fairness, you could write a script to test every user and group against a given set of files and directories and generate a report off the output, but seriously, would anyone really consider that "better" than "0750, yup, that looks good"?
            • by cduffy (652) <charles+slashdot@dyfis.net> on Wednesday February 07 2007, @07:51PM (#17928126)
              Once you do that, it isn't the traditional Unix model anymore -- it's something more like POSIX ACLs, which Linux *does* support, and which *does* provide the ability to give one group write while another has read.

              I think the traditional UNIX model is too simple to call bolting on an List of names and permissions used for Access Control (in place of the user/group/mask approach) a "trivial tweak".
        • It isn't about ACLs. (Score:5, Interesting)

          by jhantin (252660) on Wednesday February 07 2007, @07:52PM (#17928146) Homepage

          It's the sandboxing. A program run by a given user doesn't automatically get the user's full permissions -- it only gets a small subset. For example, it can't open files from the user's home directory other than by calling a trusted system File Open dialog, which allows the user to select the file and returns an open file handle to the application (or in OLPC's case hardlinks the file into the chroot jail).

          In terms of research projects, see the secure scripting language E [erights.org] and the proof of concept CapDesk [combex.com].

          Interestingly, in the commercial world it only seems to turn up in safe bytecode runtimes -- there's very little out there for native code. For an example of something similar in concept look at JNLP [sun.com] or ClickOnce [microsoft.com] deployers.

    • by Goaway (82658) on Wednesday February 07 2007, @07:59PM (#17928224) Homepage
      I can't help but notice that the people working on this "too ambitious" project are actually out there doing it, while you are... posting on Slashdot?
    • by dbIII (701233) on Wednesday February 07 2007, @08:16PM (#17928386)
      Forget about the theft angle - the surpisingly large rate of mobile phone adoption in the third world shows valuble bits of easily stolen electronics are not all going to suddenly get sold back to westerners. These things are infrastructure and I see them as comparable to the Australian School of the Air run by radio to remote areas since the 1920s. The concept of the possibilites of such a thing is explored in fiction in "The Diamond Age" - connected to the net these things are books with a lot of answers.
    • by dewarrn1 (985887) on Wednesday February 07 2007, @08:33PM (#17928538)
      From the spec [laptop.org] linked from the article, section 11:

      1227 In Norse mythology, Bifrost is the bridge which keeps mortals, inhabitants of
      1228 the realm of Midgard, from venturing into Asgard, the realm of the gods. In
      1229 effect, Bifrost is a powerful security system designed to keep out unwanted
      1230 intruders.
      1231
      1232 This is not why the OLPC security platform's name is a play on the name of the
      1233 mythical bridge, however. What's particularly interesting about Bifrost is a
      1234 story that 12th century Icelandic historian and poet Snorri Sturluson tells in
      1235 the first part of his poetics manual called the Prose Edda. Here is the
      1236 relevant excerpt from the 1916 translation by Arthur Gilchrist Brodeur:
      1237
      1238 Then said Gangleri: "What is the way to heaven from earth?"
      1239
      1240 Then Harr answered, and laughed aloud: "Now, that is not wisely asked; has
      1241 it not been told thee, that the gods made a bridge from earth, to heaven,
      1242 called Bifrost? Thou must have seen it; it may be that ye call it rainbow.'
      1243 It is of three colors, and very strong, and made with cunning and with more
      1244 magic art than other works of craftsmanship. But strong as it is, yet must
      1245 it be broken, when the sons of Muspell shall go forth harrying and ride it,
      1246 and swim their horses over great rivers; thus they shall proceed."
      1247
      1248 Then said Gangleri: "To my thinking the gods did not build the bridge
      1249 honestly, seeing that it could be broken, and they able to make it as they
      1250 would."
      1251
      1252 Then Harr replied: "The gods are not deserving of reproof because of this
      1253 work of skill: a good bridge is Bifrost, but nothing in this world is of
      1254 such nature that it may be relied on when the sons of Muspell go
      1255 a-harrying."
      1256
      1257 This story is quite remarkable, as it amounts to a 13th century recognition of
      1258 the idea that there's no such thing as a perfect security system.
        • by r00t (33219) on Wednesday February 07 2007, @11:01PM (#17929776) Journal
          Our rfork() is called clone(), or unshare() if you don't need a new thread/process.

          When you want a new namespace, you specify the CLONE_NEWNS flag. (root only, sorry, because of setuid concerns)

          Once you have a new namespace, you can unmount things you don't need. You can do bind mounts, which let you graft directories onto other places. You can use a bind mount to make a read-only copy of something, then unmount the original... all without mucking up processes that aren't part of the same CLONE_NEWNS group. Portions of the filesystem tree can be shared as well, in case you really do want changes to appear to both sides of the CLONE_NEWNS. Access to things can be permanently given up within the CLONE_NEWNS group, making for a rather fine jail that generally beats jail(8) quite severely.

          There are extra goodies for stuff like isolating the view of system time, the view of executing processes, etc.