Now showing items 1-3 of 3

    • Automatic Compact Alphanumeric Encoding of Shellcode 

      Patel, Arohi (Dhirubhai Ambani Institute of Information and Communication Technology, 2016)
      Shellcode is a machine code that is injected in the form of a string to exploit buffer overflows. It generally contains non-ASCII bytes as not all machine instructions have their encoding bytes in ASCII range. To mitigate ...
    • Formal analysis of two standardized protocols using standard spaces 

      Soni, Shraddha (Dhirubhai Ambani Institute of Information and Communication Technology, 2008)
      To achieve secure communication it is critical to provide protocols which are secure against attacks. Formal methods are helpful in finding whether or not a protocol is secure. The first formal method for this task, namely ...
    • Performance evaluation of kerberos cross-realm authentication using SIMNET 

      Sethi, Ankit Kumar (Dhirubhai Ambani Institute of Information and Communication Technology, 2011)
      Today, the network is being implemented in such a manner that consist of geographi- cally diverse clients and distributed as well as centralized servers. To prevent unauthorized access to system resources such as servers, ...