Seminar on Internet Technologies (Summer 2010): Difference between revisions

 
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