Akademik Bilisim 2009

TitleFormal Specification of Security Policies in Multi-Domain Networks
Author(s)Author #1
Name: Devrim Ünal
Org: TÜBİTAK UEKAE
Country: Turkey
Email: devrimu__at__uekae.tubitak.gov.tr

Author #2
Name: M. Ufuk Çağlayan
Org: Boğaziçi Üniversitesi
Country: Turkey
Email: caglayan__at__boun.edu.tr

Other Author(s)
KeywordsModel doğrulama, ağ güvenliği, güvenlik politikası
AbstractEntegre yer ve hareketli ağlarda güvenlik yönetimi çoklu etki alanlarında güvenlik yönetimini gerektirir. Hareketli kullanıcılar bu ortamda güvenlik politikalarının betimleme ve doğrulamasında zorluk arzetmektedir. Formal yöntemler bir sistemin betimlemesine uygun olduğunu ispat etmekte kullanılırlar. Güvenlik politikalarının betimlenmesi ve doğrulanmasında kullanılan formal yöntemler bir ağ yapılandırmasında, güvenlik politikasının tutarlı olduğunu ve ağdaki öğeler tarafından sağlandığını ispat eder. Bu çalışmada model denetleme yöntemiyle güvenlik politikalarının betimlenmesi ve doğrulanması ele alınmaktadır. Çerçevemiz sistem yönetimi personeli tarafından erişilmekte olup formal betimlemeler sistem tarafından artımsal ve otomatik bir şekilde kullanıcının formal yöntemler bilgisi gerekmeden üretilmesini sağlamaktadır.
Topics Kurumsal İnternet Politikaları
Sistem ve Ağ Yönetimi Ağ ve Sistem Yönetimi
Bilişim Güvenliği ve Güvenlik Sistemleri
Comments
Submission 138.pdf (465KB)
 

 

Powered by OpenConf®
Copyright ©2002-2008 Zakon Group LLC