Formal methods are powerful tools to provide security services. The study applies labeled colored Petri nets to modeling and analysis of the non-repudiation in ...
確定! 回上一頁