Semi-Formal Representation and Evaluation of Security Properties.

Xinxin Lou Ines Ben Zid Mithil Parekh Yuan Gao

Published in: GI-Jahrestagung (2017)

Keyphrases

formal representation
security properties
security requirements
formal model
conceptual graphs
knowledge representation
security analysis
knowledge base
security protocols
natural language
knowledge discovery
end to end
data sharing