EROS: Extremely Reliable Operating System

Bu aralar FM sitesinde güvenlik, işletim sistemleri, vs. muhabbetleri yapılırken pek çok ilgili konunun ara kesitinde yer alan bir şey ilgi çeker diye düşündüm ve paylaşmak istedim.

Johns Hopkins üniversitesi bilgisayar bilimleri bölümünde çalışan Prof. Jonathan Shapiro önderliğindeki ekip "mevcut işletim sistemlerindeki güvenlik problemleri spesifik uygulamalardan değil en baştaki tasarım kararlarından kaynaklanıyor" düsturunu benimseyerek bir işletim sistemi geliştirmişler ve adını da EROS : Extremely Reliable Operating System koymuşlar.

Söz konusu işletim sistemi GPL ve LGPL olarak lisanslanmış durumda yani makinanıza çekip kurabilir ve istediğiniz gibi kurcalayabilirsiniz.

Bu aralar Debian GNU/Linux 3.0'ın derinliklerinde yolculuğa çıktığım ve FM'e yazı yetiştirmeye çalıştığım için pek vaktim yok ama eminim işletim sistemi meraklıları ve üstadları FM üyeleri bizi aydınlatacak türde yorumlarını buraya cesurca

Görüşler

FZ
23 yıl önce

Jonathan arkadaşımızın MS Windows 2000''in EAL4 (Evaluation Assurance Level 4) sertifikası alması (Service Pack 3 ile) hakkındaki yorumlarını da burada okuyabilirsiniz. (Çok eğlenceli, tavsiye ederim :)

anonim
23 yıl önce

Dunyada EAL4 ustu bir isletim sistemi daha yok :P

conan

FZ
23 yıl önce

Peki olmamalı mı? ;-)

conan
23 yıl önce

SE-Linux bir iki seneye kadar. ;)

FZ
23 yıl önce

SELinux lafı açılmışken eski bir işletim sistemi ile ilgili 18 Eylül 2002 tarihli birmakale buldum, SELinux'a da gönderme var, belki ilgisini çeker insanların bu bağlamda.

IBM Research Report - Thirty Years Later: Lessons From the Multics Security Evaulation

Bu makalede de sistemin ilk tasarım aşamasındaki sadeliğin, basitliğin önemli olduğu vurgulanıyor. Herkese tavsiye ederim.

anonim
23 yıl önce

Spesifik = ozgun, mahsus, ozel.

Kusura bakmayin, tavsiye vermeden gecemedim..

Saygilar,

FZ
23 yıl önce

Şahsen teknik, üsluba ya da dil kullanımına yönelik her türlü öneriye, eleştiriye açığım. Yazı yazarken de elimden geldiğince İngilizce teknik terimlerin bildiğim kadarı ile Türkçe karşılıklarını kullanmaya gayret ediyorum ancak arada böyle aceleye gelen durumlar da olabiliyor ;-)

Benim de bir tavsiyem var ama dil ile ilgili değil de site ile ilgili: Buraya yazarken siteye giriş yaparsanız ve anonim olmaktan çıkarsanız daha iyi olur.

Görüş belirtmek için giriş yapın...

İlgili Yazılar

Bilişsel Bilim ve YazBoz: Kelimeler Ağlar Anlamlar (yahut Hadoop ve Lucene)

FZ
20 Aralık 2008, 1 dakika okuma süresi

Boğaziçi Üniversitesi, Bilişsel Bilim bölümünden arkadaşım Hakan Ünlü'nün bugün yolladığı bir e-postayı paylaşmak istiyorum: "Merhaba Son günlerde Yazboz sitesi çok ilgimi çekiyor. Sizlerin de ilgisini çekeceğini düşündüğüm için burada duyurmak istedim: http://www.yazboz.com

Site aslında bir serbest çağrışım oyunu. Size bir kelime veriyor ve bunula ilgili aklınıza gelen ilk kelimeyi yazmanızı istiyor. Bunun sonunda tüm oyuncular tarafından girilen kelimeleri 'connectionist' bir yaklaşımla bağlıyor. Sonuçları da görsel olarak izlemek mümkün.

Java ve .NET : Derin Rekabet

FZ
17 Aralık 2002, 5 dakika okuma süresi

Son günlerdeki anketleri inceleyen, yazışmalara,sorulara kulak ve göz misafiri olan FZ dayanamadı ve bulduğu bir röportajı tercüme ederek FM camiası ile paylaşmaya karar verdi. Söz konusu röportaj Java dünyasındaki en kıvrak ve yetkin firmalardan biri olma özelliğini halen koruyan BEA'nın Baş Teknoloji Sorumlusu (Chief Technology Officer - CTO) Dr. Scott Dietzen ile 13 Aralık tarihinde gerçekleştirilmiş. Dr. Dietzen Java camiasında, sunucu tarafındaki Java standartlarının geliştirilmesinde yani J2EE (Java 2 Enterprise Edition) teknolojisinin olgulaşmasındaki öncü rolü ile saygı duyulan bir isim. Kendisi aynı zamanda Java Community Process kurucularından. Bu röportajın ana konusu: Java, .NET, web servisleri, vs.

OpenBSD 2.9 PowerMAC Versiyonu hazır

anonim
20 Eylül 2001, 1 dakika okuma süresi

OpenBSD 2.9'un PowerMac versiyonu çıktı. İndirdim ve kurdum, gerçekten OpenBSD`nin performansı ve Apple PowerMAC`in gücünün birleşmesinin muhteşemliği karşisında çok etkilendim. Macintosh`u olanlara şiddetle tavsiye ederim. Mutlaka deneyin: www.openbsd.org/macppc.html

Neden D?

FZ
19 Ekim 2009, 1 dakika okuma süresi

C++'nın en büyük ustalarından olan Andrei Alexandrescu, şimdilerde enerjisini Walter Bright tarafından tasarlanmış olan D programlama dilini geliştirmeye harcıyor. Alexandrescu, çeşitli nedenlerle C++'ya eklenemeyen çoğu dil olanağının D'ye eklenmesine yardım ederek, bir anlamda D'yi C++'nın olmayı başaramadığı dil haline getiriyor.

Kendisine özgü heyecanlı tarzını içeren bu yazısında Alexandrescu, D dilinin neden önemli olduğunu ve belki de sizin için de uygun bir dil olabileceğini göstermeye çalışıyor.

Corel, Winzip'i satın almış

anonim
10 Mayıs 2006, 1 dakika okuma süresi

Evet, dünyaca ünlü, meşhur sıkıştırma yazılımı Winzip artık Corel'in bir parçası olmuş durumda.