NRL - PDFSEARCH.IO - Document Search Engine

NRL
Results: 821

#	Item
501	Specifying Software Behavior for Requirements and Design James KIRBY JR. Code 5542, Naval Research Laboratory 4555 Overlook Ave. SW, Washington, DC 20375, U.S. Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-11-08 11:09:14 Procedural programming languages Data types Type theory Variables Control theory Subroutine Software design C ALGOL 68 Computing Software engineering Computer programming
502	NRL Release Number[removed]The Logic of Authentication Protocols ? Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 11:09:46 Burrows–Abadi–Needham logic Needham–Schroeder protocol Public-key cryptography Cryptographic nonce XTR Deniable authentication Security protocol notation Wide Mouth Frog protocol Cryptographic protocols Cryptography Data
503	Estimating and Adapting to Registration Errors in Augmented Reality Systems Blair MacIntyre Enylton Machado Coelho Simon J. Julier ITT Advanced Engineering Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-23 12:31:39 Linear filters Robot control Numerical analysis Estimation theory Kalman filter Augmented reality Convex hull Unscented transform Propagation of uncertainty Statistics Mathematics Control theory
504	Mixed Reality on a Virtual Globe Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-07-29 11:36:13 Reality Humanâ€“computer interaction User interface techniques Human–computer interaction Augmented reality Match moving Google Earth 3D interaction Google Software Virtual reality Mixed reality
505	NRL Release Number[removed]From a Trickle to a Flood: Active Attacks on Several Mix Types Andrei Serjantov1 and Roger Dingledine2 and Paul Syverson3 1 Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 10:41:45 Internet Mix network Email Anonymous remailer Ping Internet Relay Chat flood Internet privacy Degree of anonymity System software Computing Cryptography
506	NRL Release Number[removed]Towards an Analysis of Onion Routing Security Paul Syverson Gene Tsudik y Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 11:54:43 Network architecture Onion routing Tor Routing Router Link-state routing protocol Communications protocol The Onion Crowds Internet privacy Computing Internet
507	NRL Release Number[removed]Onion Routing Access Congurations Paul F. Syverson, Michael G. Reed, and David M. Goldschlag Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 11:56:53 Cryptography Onion routing Tor .onion Proxy server Anonymizer Anonymous remailer Router Mix network Internet privacy Internet Computing
508	NRL Release Number[removed]Dolev-Yao is no better than Machiavelli Paul Syverson, Catherine Meadows Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-29 11:52:34 Computer security Dolev-Yao model RSA Adversary model Cryptography Cryptographic protocols Public-key cryptography
509	Visualization of Decision Processes Using a Cognitive Architecture Mark A. Livingstona , Arthi Murugesanb , Derek Brocka , Wende K. Frosta , and Dennis Perzanowskia a Naval Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2012-12-13 11:35:49 Networks Bayesian statistics Statistical models Diagrams Science Bayesian network Influence diagram Knowledge representation and reasoning Tree Statistics Graph theory Decision theory
510	NRL Release Number[removed]Attack-Potential-Based Survivability Modeling for High-Consequence Systems∗ J. McDermott Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:57:08 Computer network security Software testing Hacking Alarms Burglar alarm Computer security Vulnerability Survivability Stochastic Security Statistics Safety

UPDATE