Modelling and verification of secure exams

• 作者： Giustolisi, Rosario, author.
• 其他作者：
  • SpringerLink (Online service)
• 其他題名：
  • Information security and cryptography.
• 出版： Cham : Springer International Publishing :Imprint: Springer
• 叢書名： Information security and cryptography,
• 主題： Computer security. , Computer networks--Security measures. , Computer Science. , Data Structures, Cryptology and Information Theory. , Information Systems and Communication Service. , Mathematical Logic and Formal Languages. , Revision and Exam. , Computer Appl. in Administrative Data Processing.
• ISBN： 9783319671079 (electronic bk.) 、 9783319671062 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: