Editor, Bureaucrats, Administrators
264
edits
(→Topics) |
|||
Line 67: | Line 67: | ||
| [http://www.net.informatik.uni-goettingen.de/people/florian_tegeler Florian Tegeler] | | [http://www.net.informatik.uni-goettingen.de/people/florian_tegeler Florian Tegeler] | ||
| [http://msdn.microsoft.com/de-de/magazine/dd278426.aspx] | | [http://msdn.microsoft.com/de-de/magazine/dd278426.aspx] | ||
|- | |||
| Automated Security Protocol Analysis (choose an example from CasperFDR, Isabelle, Avispa) | |||
| [http://www.net.informatik.uni-goettingen.de/people/florian_tegeler Florian Tegeler] | |||
| [http://avispa-project.org/] | |||
|- | |- | ||
| Distributed Hash Tables - Usage, properties and future development | | Distributed Hash Tables - Usage, properties and future development |