ac999 / protocol_sec_msi Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi

profs.info.uaic.ro/~cbirjoveanu/web/sp.html

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
HW1		HW1
HW2		HW2
multiprotocol-attacks		multiprotocol-attacks
presentation		presentation
.gitignore		.gitignore
README.md		README.md
protocolv0_v1.png		protocolv0_v1.png

Repository files navigation

Security Protocols: Modelling and verification 2021 (teached by Lecturer, Ph.D. Cătălin Bîrjoveanu)

Done during Master's in Information Security @ Faculty of Computer Science within Alexandru Ioan Cuza University of Iasi

About

Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi

profs.info.uaic.ro/~cbirjoveanu/web/sp.html

computer-science faculty university master protocol protocols information-security protocol-security iasi scyther avispa

Report repository

Releases

No releases published

Packages

No packages published

Languages

TeX 100.0%