Login / Signup
Evaluating the robustness of secure triple track logic through prototyping.
Rafael Soares
Ney Laert Vilar Calazans
Victor Lomné
Philippe Maurine
Lionel Torres
Michel Robert
Published in:
SBCCI (2008)
Keyphrases
</>
logic programming
modal logic
computational efficiency
multi valued
logical framework
data sets
genetic algorithm
artificial intelligence
cloud computing
security issues
classical logic
computational properties
linear logic
design process
security mechanisms
security level