Now showing items 1-1 of 1

    • Model Checking the Kaminsky DNS Cache-Poisoning Attack Using PRISM 

      Deshpande, Tushar Suhas (The Graduate School, Stony Brook University: Stony Brook, NY., 1-May-10)
      We use the probabilistic model checker PRISM to formally model and analyze the highly publicized Kaminsky DNS cache-poisoning attack. DNS (Domain Name System) is an internet-wide, hierarchical naming system used to translate ...