%0 Journal Article %1 journals/fuin/KristensenF09 %A Kristensen, Lars Michael %A Fleischer, Paul %D 2009 %J Fundam. Informaticae %K dblp %N 3-4 %P 361-386 %T Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. %U http://dblp.uni-trier.de/db/journals/fuin/fuin94.html#KristensenF09 %V 94

@article{journals/fuin/KristensenF09, added-at = {2020-09-18T00:00:00.000+0200}, author = {Kristensen, Lars Michael and Fleischer, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2f45b4dc3d0f446ed0b9fc541f3283529/dblp}, ee = {https://doi.org/10.3233/FI-2009-135}, interhash = {43489f0a4cf719ba84a7c05dcbfd1d3d}, intrahash = {f45b4dc3d0f446ed0b9fc541f3283529}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {361-386}, timestamp = {2020-09-19T11:36:09.000+0200}, title = {Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin94.html#KristensenF09}, volume = 94, year = 2009 }