Archives and Documentation Center
Digital Archives

Browsing Bilgisayar Mühendisliği by Author "Çağlayan, M. Ufuk."

Browsing Bilgisayar Mühendisliği by Author "Çağlayan, M. Ufuk."

Sort by: Order: Results:

  • Analytical models for the scalability of dynamic group key agreement protocols and secure file sharing systems 
    Çantalı, Gökcan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2019., 2019.)
    Dynamic group key agreement protocols are cryptographic primitives to provide secure group communications in decentralized and dynamic networks. Such protocols provide additional operations to update the group key while ...
  • 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 ...
  • Development of a new domain-specific language for software architecture specification : DSL-SA 
    Akar, Sezer. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    The specification of software structures that conform to specific software architectures is the first step in software design during software development. Software structure may be the first design artifact that becomes ...
  • Formal security analysis of a secure on-demand routing protocol for AD HOC networks using model checking 
    Önem, Evren. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2007., 2007.)
    An ad hoc network is a self-configuring network of mobile terminals, connected by wireless links and exhibiting nomadic behavior by freely moving within an area. Computing the routes between the terminals in the ad hoc ...
  • 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 ...
  • Group key management in IEEE 802.15.4 wireless networks 
    Yurttutan, Gamze. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2006., 2006.)
    This thesis concentrates on establishing a secure group key management scheme in low data rate wireless personal area networks, namely IEEE 802.15.4 standard. In applications where the transmitted data in group communication ...
  • Model checking of ambient calculus specifications against ambient logic formulas 
    Akar, Ozan. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    Formal methods are mathematical techniques applied in specification and verification of concurrent interactive systems. Model checking is a widely used formal method for formal verification of systems. In model checking, ...
  • 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 ...
  • Parallel AAA and mobile IP registrarion for high performance and scalable mobile roaming 
    Demirkol, Aykut Soner. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2009., 2009.)
    An important part of the communication technology currently depends on the wireless networking. With the increase in the connectivity needs, many types of wireless technologies have been deployed to ensure the coverage of ...
  • 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 ...
  • The development of mod_antiCrawl: an anti crawler add-on module for apache web servers 
    Topgül, Muhammed Oğuzhan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2012., 2012.)
    A web crawler can be defined as automated software that extracts website maps by visiting all the links in a website. Website map extraction process can be used to build a basis for a web attack. Hence, crawling plays an ...
  • Trust enhanced secure routing in SDN 
    Sertbaş, Nurefşan. (Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2018., 2018.)
    The presence of programmable entities, namely controllers and switches, in Soft ware Defined Networks (SDNs) provides a hierarchical architecture to achieve dynamic and manageable networks for easily utilizing high bandwidth ...
  • Verification of BPEL specifications using model checking 
    Akçay, Mehmet N. (Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2008., 2008.)
    Service Oriented Architecture(SOA) is based on creating services which can be distributed on a network by different business flows. Business Process Execution Language (BPEL) is a recent specification language to express ...

Search Digital Archive


Browse

My Account