• Implementation Of Database Security Features Using Bit Matrices 

      Gopal, K (Indian Institute of Science, 2005-02-16)
      Information security is of utmost concern in a multiuser environment. The importance of security is felt much more with the widespread use of distributed database. Information is by itself a critical resource of an enterprise ...
    • Model-Checking Infinite-State Systems For Information Flow Security Properties 

      Raghavendra, K R (2017-02-16)
      Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ...
    • Recovery From DoS Attacks In MIPv6 : Modelling And Validation 

      Kumar, Manish C (2010-07-26)
      Denial-of-Service (DoS) attacks form a very important category of security threats that are possible in MIPv6 (Mobile Internet Protocol version 6). This thesis proposes a scheme for participants (Mobile Node, Home Agent, ...