Idea: Writing Secure C Programs with SecProve.

Myla Archer Elizabeth I. Leonard Constance L. Heitmeyer

Published in: ESSoS (2013)

Keyphrases

concurrent programming
neural network
fixpoint
security level
databases
expert systems
computer programs
programming environment
word processing
group communication