Archives and Documentation Center
Digital Archives

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

Browsing M.S. Theses 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 ...
  • 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 ...
  • 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, ...
  • 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 ...
  • 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