Now showing items 37-39 of 112

    • Rational proofs 

      Azar, Pablo Daniel; Micali, Silvio (© Association for Computing Machinery, New York, NY, USA, 2012-05-19)
      We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string x and a function f , so that the Verifier may learn f (x). The novelty of our setting is that there ...
    • Improving interdisciplinary communication with standardized cyber security terminology: A literature review 

      Ramirez, Robert; Choucri, Nazli (© IEEE, 2016-03-21)
      The growing demand for computer security, and the cyberization trend, are hallmarks of the 21st century. The rise in cyber-crime, digital currency, and e-governance has been well met by a corresponding recent jump in ...
    • Who controls cyberspace? 

      Choucri, Nazli; Clark, David D. (Sage Journals/© Nazli Choucri, & David D. Clark, 2013-09-01)
      When Wikileaks released hundreds of thousands of Iraq War logs and diplomatic cables in 2010, a horrified US government sprang into action—but the classified information the government hoped to keep from public view quickly ...