Cite Email Print Share. A mutation-based approach for the formal and automated analysis of security ceremonies. Article type: Research Article.
確定! 回上一頁