在约翰写完摘要“攻击行为建模对网络安全分析与评估具有重要的作用。该文定义了一种基于广义随机着色Petri网的网络攻击组合模型，该模型能清晰表达攻击组合中各组合部分之间的关联关系，给出了攻击行为、攻击组合运算的定义和攻击组合的建立算法，并对组合模型的结构复杂度进行了度量。在此基础上，从系统性能分析的角度对时间代价进行评估。针对网络实例的分析进一步验证了所提出的组合模型及相关计算方法的有效性。”之后，他写了这些关键字“建模, 时间代价, 攻击组合”。你认为他选择的关键词是正确的吗？回答 是的 或 不。
是的