BE- Bilgisayar Bilimleri Lisansüstü Programı
Bu topluluk için Kalıcı Uri
İTÜ Bilgisayar Mühendisliği Bölümü tarafından İTÜ Bilişim Enstitüsü'ne bağlı olarak Bilgisayar Bilimleri Ana Bilim Dalı altında Tezli Yüksek Lisans ve Doktora programları yürütülmektedir.
Gözat
Konu "Birleştirilmiş Modelleme Dili Profili" ile BE- Bilgisayar Bilimleri Lisansüstü Programı'a göz atma
Sayfa başına sonuç
Sıralama Seçenekleri
-
ÖgeRol-tabanlı Erişim Denetimi İçin Bir Uml Profili(Bilişim Enstitüsü, ) Cirit, Çağdaş ; Buzluca, Feza ; 371547 ; Bilgisayar Bilimleri ; Computer ScienceErişim denetiminin yapılacağı bir sistem oluşturulurken domen isterleri genellikle güvenlik isterlerinden ayrı olarak tasarlanır. Bu ayrımın başlıca sebebi güvenlik tasarım modelleri, ilke dosyaları gibi yapılandırılmış metin olarak ifade edilirken domen isterlerinin birleştirilmiş modelleme dili (UML) modelleri gibi grafiksel modellerle görselleştirilmeleridir. Bu ayrım güvenlik modellemesi ve sistem tasarım modellemesi arasında bir boşluk oluşmasına sebep olur. Güvenlik modellemesi, geliştirmenin erken safhalarında biçimlendirilse bile güvenlik mekanizmalarının sisteme dâhil edilmesi geliştirmenin son safhalarında yapılır. Buda geliştirmenin ara safhalarında başka bir boşluğun oluşmasına sebep olur. Bahsedilen bu boşluklar ortaya çıkan sistemin güvenliğini ve bakım kolaylığını kötü yönde etkiler. Bu çalışmada, bahsedilen boşlukların doldurulabilmesi için model güdümlü mimari (MDA) yaklaşımıyla, Rol-Tabanlı Erişim Denetimi (RBAC) için bir UML Profili geliştirilerek çözüm önerisi getirilmiştir. Bu UML Profili, tasarım aşamasının başında erişim denetim isterlerinin domen isterleriyle birlikte grafiksel olarak modellenebilmesini sağlayarak güvenlik entegrasyonunun geliştirme sürecinin tamamına yayılacak şekilde yapılabilmesine olanak sağlar. Bu çalışmanın başlıca katkısı, erişim denetimi isterlerini geliştirme sürecine en başından itibaren dâhil edebilmek; dönüşüm fonksiyonlarının otomatik olarak ilgili platforma özel model (PSM) veya direkt kod üretebilmesi için iyi tanımlanmış bir platform bağımsız model (PIM) oluşturabilmek; dönüşüm fonksiyonlarının teknolojiye özel detayları kotarabilmesi sayesinde teknoloji bağımsızlığı ve tekrar kullanabilirliği sağlayabilmek; geliştiricilerin işlerini kolaylaştırabilmek; kolaylıkla değiş tokuş edilebilir ve hafif sıklet bir UML genişletme mekanizması kullanarak çok sayıda ticari ve ticari olmayan bilgisayar destekli sistem mühendisliği (CASE) aracının desteğinden faydalanabilmek amacıyla RBAC için bir UML Profili ortaya çıkarmaktır. Ayrıca statik görevler ayrılığı (SSD) ve dinamik görevler ayrılığı (DSD) gibi önemli RBAC kısıtlarını profile dâhil etmek ve RBAC'a dayalı modellerin biçimsel (sentaktik) ve anlamsal (semantik) olarak iyi durumda olup olmadığının denetiminin yapılabilmesi için nesne kısıt dilinin (OCL) nasıl kullanıldığını tanıtmak diğer katkılarıdır.