Design and analysis of security protocols Modelling and Analysis of Security Protocols Design and analysis of experiments Design and analysis of algorithms Design and analysis of Boolean functions Design and analysis of algorithm in C++ Design and analysis of rolling bearings Design and analysis of Python algorithm Economic analysis of securities crimes Operational semantics and verification of security protocols