Agile Modeling for Security Requirements–Embedded Application Case Study

[PDF] tuwien.at

Formal ontology-based quantum security requirements engineering by Petri nets

G Dissauer - 2016 - repositum.tuwien.at
Classical cryptosystems as vulnerabilities. Conventional cryptographic techniques are
based on unproven assumptions concerning the computational hardness of certain …
相关文章

[引用][C] †œFDMSWAP: Formal Development Methodology for Secure Web Applicationsâ€

S Hussain, G Rasool, M Atef, AK Shahid - Journal of Basic and Applied Scientific …, 2013
被引用次数：1 相关文章