A. I. Cuza University of IaşiVerification Techniques for Security Protocols
| Course name | Verification Techniques for Security Protocols | Code | MSD2102 |
| Class | Master of Distributed Systems, 2007 - 2009 | ||||||
| Level | Master | Year | 2 | Semester | 1 | Status | |
| Hours per week | Total hours per semester | Total hours of individual work | Credits | Evaluation type | Teaching language | |||
| C | S | L | Pr | |||||
| 2 | 2 | 0 | 0 | 56 | 0 | 8 | E | ro |
| Taught by | Academic and scientific title, name |
|
Professor, PhD,
Ferucio Laurenţiu Ţiplea
|
| Required courses |
| Objectives | |
| General thematics | |
| Seminary / Laboratory thematics | |
| Teaching methods |
| Bibliography |
| Evaluation | conditions | |
| criterias | ||
| modes | ||
| formula |