John McLean
Daha fazla bilgi
- Bağlı olduğu kurum
- ABD Deniz Araştırma Laboratuvarı (NRL)
- Tanınma nedeni
- System Z, Bell–LaPadula eleştirisi
Bell–LaPadula'nın güvenlik ispatının hiç de güvenli olmayan bir sistemle de sağlanabileceğini gösteren NRL araştırmacısı.
Orange Book'un dayandığı Bell–LaPadula modeli bir "temel güvenlik teoremi"ne yaslanıyordu: güvenli bir durumdan başla, her geçiş kurallara uysun, sistem güvenli kalır. McLean 1980'lerin ortasında System Z'yi tanımladı: her istekte her şeyi en düşük seviyeye indirir, sonra herkesin okumasına izin verir. Teorem hâlâ geçerlidir. Sistem ise her şeyi sızdırır.
Mesele, teoremin güvenlikten çok durumların nasıl tanımlandığı hakkında konuştuğuydu. David Elliott Bell modelin hiçbir zaman aksini iddia etmediğini söyledi ve tartışma yıllarca sürdü. Alanı, etiketlerin nerede takılı kaldığından çok bir kullanıcının ne çıkarım yapabildiğini soran, noninterference gibi bilgi akışı modellerine itti.