Back to Results
First PageMeta Content
Software testing / Secure communication / Hacking / Electronic commerce / Computer network security / Vulnerability / Communications protocol / Computer security / Transmission Control Protocol / Computing / Data / Security


Automatic Generation of Certifiable Aerospace Communication Software Johann Schumann and Ewen Denney RIACS / NASA Ames, Moffett Field, CA 94035 {schumann|edenney}@email.arc.nasa.gov
Add to Reading List

Document Date: 2007-04-11 20:12:52

Open Document

File Size: 48,22 KB

Share Result on Facebook

/

IndustryTerm

encryption algorithms / Internet browsers / secure communication software / published and proven protocols / software development cycle / automatic processing / trusted key server / communication software / wrong protocol / secure communication protocols / aerospace domain / software life-cycle / cryptographic algorithms / /

OperatingSystem

Microsoft Windows / /

Organization

National Aeronautics and Space Administration / /

/

Position

reverse engineer / /

ProgrammingLanguage

Object Constraint Language / /

ProvinceOrState

California / /

Technology

cryptography / secure communication protocols / encryption algorithms / wrong protocol / /

SocialTag