Search
 
   

6 results for "domain:dtic.mil"

  1. 2
    Raytheon - Proof By Games (2013) ☶ pdf formalmethods games dtic.mil
    kel avatar via kel 5 months ago | cached | 4 comments
  2. 3
    Lessons Learned from Building a High-Assurance, Crypto Gateway (2011) formalmethods practices programming security dtic.mil
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  3. 3
    Impact of Alleged Russian Cyber Attacks (2009) security oai.dtic.mil
    trn avatar via trn 10 months ago | cached | no comments
  4. 9
    A History of the ARPANET: The First Decade ☶ pdf historical networking oai.dtic.mil
    trn avatar via trn 10 months ago | cached | no comments
  5. 5
    ARPANET Information Brochure, December 1985 pdf historical networking dtic.mil
    trn avatar via trn 10 months ago | cached | no comments
  6. 3
    Linux, OpenBSD, and Tasklier: A Comparative Complexity Analysis (2002) pdf compsci linux openbsd security dtic.mil
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | 1 comment