EROS: Extremely Reliable Operating System

0
FZ
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

0
FZ
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 :)
0
anonim
Dunyada EAL4 ustu bir isletim sistemi daha yok :P

conan
0
FZ
Peki olmamalı mı? ;-)
0
conan
SE-Linux bir iki seneye kadar. ;)
0
FZ
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.
0
anonim
Spesifik = ozgun, mahsus, ozel.

Kusura bakmayin, tavsiye vermeden gecemedim..

Saygilar,
0
FZ
Ş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

Yeni ve Akıllı Bir Paket Yöneticisi: Smart Package Manager

FZ

smart: (programming) Said of a program that does the Right Thing in a wide variety of complicated circumstances.

Yukarıdaki alıntı Free Online Dictionary of Computing'den ve Smart Package Manager sistemini tavrını vurguluyor.

Smart Paket Yöneticisi projesi yazılım güncelleme ve kurulum konusuna akıllıca ve taşınabilir algoritmalarla yeni bir yaklaşım getirme iddiasında. Araç şu anda pek çok büyük GNU/Linux dağıtımı ile çalışıyor ve APT, APT-RPM, YUM, URPMI gibi yerel paket yöneticilerine kıyasla bazı avantajlar getiriyor. Smart, diğer dağıtımlardaki paket yöneticilerinden daha iyi bir yönetici olmak iddiasında

Ruby On Rails ve J2EE Üzerine developerWorks Makalesi

neikos

IBM developerWorks adresinde Rails ile J2EE mimarilerini karşılaştıran yeni bir makale yayınlandı. Makale, Rails ile Tomcat + Struts + Hibernate'den oluşan bir J2EE mimarisini karşılaştırıyor.

Özellikle J2EE'ye aşina olan ve Rails ile ilgili bilgi sahibi olmak isteyenler için yararlı bir makale.

Yeni Wiksis 1.1, Wiki İçeriği Oluşturma Yazılımı

anonim

CyrocomGPL'd tarafından GPL lisansı ile sunulan Türkçe Wiki yazılımının yeni sürümü çıktı.Yeni özellikleri:tablo desteği, yönetim alanı, şifre koruması olarak sıralayabiliriz. Şifre koruması desteğiyle artık içerik değiştirme işlemini wiki modunda (şifre girmeden) ve kişisel mod'da (şifre girerek) yapabileceksiniz. Şifre sistemi ile wiksis, artık kişisel sitelerin yapımında dahi kullanılabilecek!

Türkçe Wiki/Blog Melezi Wikepage'in Yeni Sürümü Çıktı

anonim

Veritabanı gerektirmeyen ve yaklaşık 30 KB büyüklüğünde wiki / blog melezi Wikepage'in yeni sürümü Opus 11 2006.3 çıktı. Çoğunlukla hataları giderilen ve optimize edilen bu sürümde, birkaç ufak özellik de eklenmiş. Ayrıntılı bilgiyi wikepage sitesinde bulabilirsiniz.

Not: Ön tanımlı olarak İngilizce seçili gelen Wikepage'i Türkçe kullanabilmek için aynı sayfadan Türkçe dil dosyasını da indirmeniz gerekiyor.

NetLogo 3.0 Çıktı

FZ

Multi-agent programlama ve modelleme için en çok kullanılan yazılım geliştirme ortamlarından biri olan NetLogo'nun 3.0 sürümü duyuruldu.

Bu sürümde üç boyutlu grafikler, Sistem Dinamikleri Modelleme, gelişmiş grafik özellikler mevcut. 3D graphics, a System Dynamics Modeler, improved turtle pens, improved BehaviorSpace, and other enhancements. Here's a complete list of changes. Try it and let us know what you think. Detaylı değişiklik listesine buradan erişebilirsiniz. Ayrıca sistemde kullanılabilen modelleri web tarayıcınızda da görmeniz mümkün. (Dikkat, tüm gününüzü alabilir, dalıp gidebilirsiniz, tehlikeli :)