Editor, Bureaucrats, Administrators
264
edits
Seminar on Internet Technologies (Summer 2010): Difference between revisions
Jump to navigation
Jump to search
Seminar on Internet Technologies (Summer 2010) (view source)
Revision as of 10:50, 3 May 2010
, 3 May 2010→Topics
(→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 | ||