Slashdot Mirror

← Back to Stories (view on slashdot.org)

Coyotos, A New Security-focused OS & Language

Posted by Hemos on from the locking-things-down dept.

wap writes "For those who haven't been following the EROS project, it has now migrated to the Coyotos project. EROS, the Extremely Reliable Operating System, was a project to create an operating system whose security relied on capabilities rather than the traditional Unix model of root or non-root. Capabilities allow a rigorous verification of the security of a system, something which is not possible in Unix-style and MS Windows systems. Coyotos is to be a real-world usable implementation of the ideas from EROS, complete with a Linux emulator layer. It also specifies a new language, called BitC which allows the programmer to prove that the code implements certain semantics, thus providing another layer of verifiable security. Could this be the most leet OS and language of 2005?" Another submittor asks how this stacks up against using Systems Management and "standard" OSes.

13 of 296 comments (clear)

  1. Re:EROS utilizes FUCK by spac3manspiff · · Score: 2, Funny

    Unless it's implemented on a RISCy processor

  2. Re:Need for a superuser? by Andreas(R) · · Score: 3, Funny
    One of the problems I see with high levels of security without a superuser-style account is the possibility of someone leaving, dying, or forgetting his password, and not being able to get to critical business data.

    Exhaustive password search, of course.

  3. Re:BitC looks nasty by Tumbleweed · · Score: 2, Funny

    (((Score)==(+3))(Insightful)))

    I haven't seen so many parentheses since my cat slept on my keyboard. *ba-bam!*

  4. Coyotos by Deathlizard · · Score: 4, Funny

    Hmm. does it work with Roadrunner? :)

    --
    In Soviet Russia, Trojan exploits YOU!
    1. Re:Coyotos by B3ryllium · · Score: 2, Funny

      In order to get it to work with Roadrunner, you need to buy some Acme-brand ADSL rocket shoes.

      Guaranteed to singe hair off of nether regions.

    2. Re:Coyotos by Anonymous Coward · · Score: 0, Funny

      it doesn't run very well, but your mileage may vary snice i had it installed on this lousy Acme computer

  5. Son of a... by tepples · · Score: 5, Funny

    Imagine what happens when Microsoft tries to compete by making a buggier implementation of BitC. It'll give us yet another reason to BitC# at Microsoft.

    1. Re:Son of a... by Kyont · · Score: 3, Funny

      Dang, you beat me to it. I was thinking of a version with a hyperthread-supporting local application protocol (BitCH-SLAP).

      --
      You shall see a cow on the roof of a cotton house.
  6. so... by mogrify · · Score: 4, Funny

    #include <BitC.h>

    --
    perl -e 'foreach(values %SIG){$_="IGNORE";}while(){}'
  7. rigorous = unpopular by PMuse · · Score: 2, Funny

    It sounds wonderful, doesn't it?

    Come, raise a toast to all those restrictive languages that are so wildly popular with programmers today. Let us all thank Wirth that none of their free-wheeling, permissive contemporaries are still in use.

    --
    "We reject as false the choice between our safety and our ideals." --The American President (20.1.2009)
  8. I tried BitC once... by goldspider · · Score: 2, Funny

    But it was a real BitCh to learn.

    --
    "Ask not what your country can do for you." --John F. Kennedy
  9. Coyotos? by ee96090 · · Score: 2, Funny

    Am I the only one who read it as Coitus?

    --
    Gustavo J.A.M. Carneiro
  10. Naming by kallisti · · Score: 2, Funny

    So, instead of using the name of a God of Love, they changed to the name of a prostitute's rights organization. Do they ever want to be found in a search?