Archives and Documentation Center
Digital Archives

Browsing Ph.D. Theses by Author "Çağlayan, M. Ufuk."

Browsing Ph.D. Theses by Author "Çağlayan, M. Ufuk."

Sort by: Order: Results:

  • Core-crust modeling approach for formal representation of trust in relation to computer security 
    Bahtiyar, Şerif. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    The increasing availability of high bandwidth network connections with low-cost computing equipments has stimulated the use of service-oriented environments. Emerging service-oriented environments are expected to be open ...
  • FPFM : a formal specification and verification framework for security policies in multi-domain mobile networks 
    Ünal, Devrim. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2011., 2011.)
    We present a framework called Formal Policy Framework for Mobility (FPFM) for the specification and verification of domain and inter-domain security policies in a multi-domain mobile network environment. FPFM supports the ...
  • Model driven security framework for software design and verification 
    Deveci, Engin. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2015., 2015.)
    Information system security is receiving increasing attention every day because a security problem can cause serious nancial loss or even loss of lives. Some of these security problems occur as a result of poor design ...
  • New dynamic group key agreement protocols and their formal analysis and applications 
    Ermiş, Orhan. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    The essence of dynamic group key agreement protocols is to help compute a secure key for a group communication with a dynamic set of participants in distributed systems. Dynamic group key agreement protocols are expected ...
  • Novel models for credit card fraud detection 
    Kültür, Yiğit. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2017., 2017.)
    Financial institutions attach great importance to credit card fraud detection, as a natural consequence of the multi-billion dollar annual losses incurred due to credit card fraud. Rule based systems have been commonly ...
  • Security and privacy of RFID protocols 
    Akgün, Mete. (Thesis (Ph.D.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2016., 2016.)
    This thesis studies security and privacy issues of Radio Frequency Identi cation (RFID) technology that enhances ubiquitous computing environment. Privacy is one of main issues to adopt RFID technology in daily use. Due ...

Search Digital Archive


Browse

My Account