Devrim ÜNAL, Mehmet Ufuk ÇAĞLAYAN

Spatiotemporal model checking of location and mobility related security policy specifications

Spatiotemporal model checking of location and mobility related security policy specifications

Turkish Journal of Electrical Engineering and Computer Science

2013-Cilt: 21 - Sayı: 1

144-173

Key words: Security policy, model checking, ambient calculus, spatiotemporal

Key words: Security policy, model checking, ambient calculus, spatiotemporal

4124

Benzer Makaleler

Dış Politikada Karar Verme Süreci ve Modelleri Bağlamında Bürokratik Politika Modeli Örneği Olarak Cumhurbaşkanlığı Güvenlik ve Dış Politikalar Kurulu

Yüzüncü Yıl Üniversitesi Sosyal Bilimler Enstitüsü Dergisi

Serkan GÜNDOĞDU

Orthophenylphenol in healthcare environments: a trial related to a new administration method and a review of the literature

Turkish Journal of Medical Sciences

Alicem TEKİN, Tuba DAL, Caferi Tayyar SELÇUK, Özcan DEVECİ

EUROPEAN SECURITY AND DEFENCE POLICY AND TURKEY

Akdeniz İİBF Dergisi

B Esra ÇAYHAN

Russia’s strategic interest in post-Soviet countries

Uluslararası Sosyal Bilimler ve Eğitim Dergisi

Liza AMİLAKHVARİ, Emilia ALAVERDOV

Yeni Güvenlik Yaklaşımları Çerçevesinde Sağlık Güvenliği

Türkiye Siyaset Bilimi Dergisi

Ogün Burhan AYDIN

Russia Out NATO In: Georgia’s Perspective on Regional Peace and Security in the South Caucasus

Bilge Strateji

Fulya AKSU EREKER, Utku ÖZER

AFRİKA BİRLİĞİ'NİN BÖLGESEL KRİZLERİN ÇÖZÜMÜ SÜRECİNDE DENEYİMİ

Ankara Üniversitesi Hukuk Fakültesi Dergisi

Alexandr CAUİA, Naif Jassim ALABDULJABBAR

The Importance of Policy Coherence for Turkey’s Sustainable Food Security Policy

Akademik Yaklaşımlar Dergisi

Kaan YİĞENOĞLU