Davida Elliotta Bella

Dane osobowe
Davida Elliotta Bella
Urodzić się	Davida Elliota Bella Liberał , Kansas , USA
Edukacja	Davidson College ( licencjat z matematyki ) Vanderbilt University ( magister matematyki ) (doktor matematyki)

David Elliott Bell (ur. 1945) to amerykański matematyk i pionier bezpieczeństwa komputerowego. Pracując w MITER Corporation , on i Leonard J. LaPadula wspólnie opracowali bardzo wpływowy model Bell-LaPadula . W 2012 roku Bell udzielił wywiadu w ramach wysiłków National Science Foundation mających na celu udokumentowanie „Budowania infrastruktury dla historii bezpieczeństwa komputerowego”. W uznaniu jego wkładu w dziedzinie bezpieczeństwa komputerowego, Bell został wprowadzony do Galerii Sław Cyberbezpieczeństwa w 2013 roku.

Pierwszym krokiem w rozwoju modelu Bella-LaPadual'a były narzędzia do prowadzenia i analizowania opracowywanych systemów komputerowych. Ostatnim krokiem w rozwoju modelu było zastosowanie modelu ogólnego do systemu operacyjnego Multics. Kiedy Centrum Bezpieczeństwa Komputerowego w Departamencie Obrony opublikowało Kryteria Oceny Zaufanego Systemu Komputerowego w 1983 roku, model Bell-La Padula był jedynym uwzględnionym modelem bezpieczeństwa ilustrującym „model bezpieczeństwa” wymagany na poziomie B2 i wyższym.

Na 21. dorocznej konferencji poświęconej aplikacjom bezpieczeństwa komputerowego w Tucson w Arizonie w 2005 r. Bell przedstawił spojrzenie wstecz na model Bell-LaPadula. W 2006 roku Bell opublikował dodatek do swojego „Looking Back at the Bell-LaPadula Model”.

W NSA był zastępcą szefa Biura Badawczego Centrum Bezpieczeństwa Komputerowego, p.o. Szefa Biura Badawczego i COR przy dużym przejęciu. W Trusted Information Systems był starszym wiceprezesem i sekretarzem korporacyjnym. Prowadził własną firmę konsultingową (BBND, Incorporated) przed powrotem na ścieżkę techniczną w Mitretek Systems i EDS .

Pracując w Trusted Information Systems, Bell przedstawił dwa artykuły: „Lattices, Policies and Implementations” oraz „Trusted Xenix Interpretation: Phase 1”. na XIII Ogólnopolskiej Konferencji Bezpieczeństwa Komputerowego.

Dwa artykuły, które Bell opublikował w 1991 i 1992 r., „Lattices, Policies and Implementations” oraz „Putting Policy Commonalities to Work”, razem pokazały, że wszystkie pozornie różne polityki bezpieczeństwa, które zostały opublikowane, były politykami Boolean-Lattice, a zatem były identyczne pod Skóra. Jego konstruktywny wynik pokazał, jak zrealizować każdą z opublikowanych zasad przy użyciu pojedynczej „Uniwersalnej Maszyny Kratowej”. Ta praca skonsolidowała pozornie różne polityki bezpieczeństwa i uczyniła je jedną.

Na konferencji New Security Paradigms and Workshop (NSPW) w 1994 r. Bell przedstawił swój artykuł na temat „Modelowania „maszyny do wielu polityk” ”. Streszczenie artykułu: Przedstawiono metodę leczenia kilku nieokreślonych polis. Wprowadzono precyzyjne pojęcia łączenia polityk, konfliktu polityk, rozwiązywania konfliktów i pierwszeństwa polityk. Ustanawia się niezbędne i wystarczające warunki do bezkonfliktowego łączenia polityk.

W 1996 roku, pracując dla Mitretek Systems, Bell opublikował artykuł na temat „Generic Model Interpretations POSIX.1 and SQL” jako ulepszenie zaufanych systemów, które potwierdzają standardy branżowe sprzyjające interpretacji modeli ogólnych.