Editor, Bureaucrats, Administrators
264
edits
Seminar on Internet Technologies (Winter 2010/2011): Difference between revisions
Seminar on Internet Technologies (Winter 2010/2011) (view source)
Revision as of 14:56, 18 November 2010
, 18 November 2010→Topics
(→Topics) |
|||
| Line 79: | Line 79: | ||
| [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) | | <strike>Automated Security Protocol Analysis (choose an example from CasperFDR, Isabelle, Avispa)</strike> | ||
| [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://avispa-project.org/] | | [http://avispa-project.org/] | ||