@article{journals/corr/abs-1007-0917, added-at = {2011-12-05T00:00:00.000+0100}, author = {Farkas, Gyula and Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblp}, ee = {http://arxiv.org/abs/1007.0917}, interhash = {d466a48facd69b58e58f67fcc9662532}, intrahash = {2005db9113e860e5666ab84269d8f104}, journal = {CoRR}, keywords = {dblp}, title = {A Platform for Implementing Secure Wireless Ad Hoc Networks}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-0917}, volume = {abs/1007.0917}, year = 2010 } @article{journals/corr/abs-0908-3083, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska and Ratoi, Ovidiu and Ignat, Iosif}, biburl = {http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblp}, ee = {http://arxiv.org/abs/0908.3083}, interhash = {2f1b07c6925c108873de097524d4e827}, intrahash = {abea6bab3a4179e70f531c932f2a0134}, journal = {CoRR}, keywords = {dblp}, title = {Term-based composition of security protocols}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-3083}, volume = {abs/0908.3083}, year = 2009 } @article{journals/corr/abs-0908-4325, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Ignat, Iosif and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblp}, ee = {http://arxiv.org/abs/0908.4325}, interhash = {fa3189c103e34d643f7dcd7b32259812}, intrahash = {8c210e4cdb6b86edee6c280d2058ed45}, journal = {CoRR}, keywords = {dblp}, title = {Automated Composition of Security Protocols}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-4325}, volume = {abs/0908.4325}, year = 2009 } @article{journals/corr/abs-0909-1639, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblp}, ee = {http://arxiv.org/abs/0909.1639}, interhash = {1d12a1d728fce604b6bf1e6bed6ada10}, intrahash = {ee3a23ae3365c6c00bfbfec7142e71d1}, journal = {CoRR}, keywords = {dblp}, title = {Extending WS-Security to Implement Security Protocols for Web Services}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0909.html#abs-0909-1639}, volume = {abs/0909.1639}, year = 2009 } @article{journals/corr/abs-0908-2871, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska and Ignat, Iosif and Ratoi, Ovidiu}, biburl = {http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblp}, ee = {http://arxiv.org/abs/0908.2871}, interhash = {d4aa72589cb4d10b689786fbc25b2657}, intrahash = {0047ed98a6642aa7763345a4ecaba27d}, journal = {CoRR}, keywords = {dblp}, title = {Informal specification-based performance evaluation of security protocols}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-2871}, volume = {abs/0908.2871}, year = 2009 } @article{journals/corr/abs-0908-3082, added-at = {2011-12-05T00:00:00.000+0100}, author = {Ratoi, Ovidiu and Haller, Piroska and Salomie, Ioan and Genge, Béla}, biburl = {http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblp}, ee = {http://arxiv.org/abs/0908.3082}, interhash = {fefa8bcaa5541dc1b7d536e989dfaeae}, intrahash = {92e7b2a54754fa18b8f3e00a977f2c2c}, journal = {CoRR}, keywords = {dblp}, title = {Component based platform for multimedia applications}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-3082}, volume = {abs/0908.3082}, year = 2009 } @article{journals/corr/abs-0909-1640, added-at = {2011-12-05T00:00:00.000+0100}, author = {Magyari, Attila and Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/241dd74bce43eebf586a3798be96d031e/dblp}, ee = {http://arxiv.org/abs/0909.1640}, interhash = {2bd5def5d7b6147388b2106d09a425f5}, intrahash = {41dd74bce43eebf586a3798be96d031e}, journal = {CoRR}, keywords = {dblp}, title = {Certificate-based Single Sign-On Mechanism for Multi-Platform Distributed Systems}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0909.html#abs-0909-1640}, volume = {abs/0909.1640}, year = 2009 } @article{journals/corr/abs-0908-3090, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/20b922e757b5cb9ab575b234fe44d0f5d/dblp}, ee = {http://arxiv.org/abs/0908.3090}, interhash = {9e14929ab9d76572ff240331d9c251dc}, intrahash = {0b922e757b5cb9ab575b234fe44d0f5d}, journal = {CoRR}, keywords = {dblp}, title = {A Modeling Framework for Generating Security Protocol Specifications}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-3090}, volume = {abs/0908.3090}, year = 2009 } @article{journals/corr/abs-1101-5791, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/2f32e779b468c76babcdd7e7935f69bfd/dblp}, ee = {http://arxiv.org/abs/1101.5791}, interhash = {edaad7654402235754d92f17bd07d45a}, intrahash = {f32e779b468c76babcdd7e7935f69bfd}, journal = {CoRR}, keywords = {dblp}, title = {Using Planetlab to Implement Multicast at the Application Level}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1101.html#abs-1101-5791}, volume = {abs/1101.5791}, year = 2011 } @article{journals/corr/abs-1007-0920, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/26a10054d7f54e36d077b31688b450187/dblp}, ee = {http://arxiv.org/abs/1007.0920}, interhash = {5dfc20231154112fc1d122404212816b}, intrahash = {6a10054d7f54e36d077b31688b450187}, journal = {CoRR}, keywords = {dblp}, title = {End-Host Distribution in Application-Layer Multicast: Main Issues and Solutions}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-0920}, volume = {abs/1007.0920}, year = 2010 } @article{journals/corr/abs-0910-3765, added-at = {2011-12-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/23e57bb460145fee9e843d6fe90e9e04f/dblp}, ee = {http://arxiv.org/abs/0910.3765}, interhash = {84d3188558e0f0c61c0560a16aed02f6}, intrahash = {3e57bb460145fee9e843d6fe90e9e04f}, journal = {CoRR}, keywords = {dblp}, title = {Performance Evaluation of Security Protocols}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0910.html#abs-0910-3765}, volume = {abs/0910.3765}, year = 2009 } @inproceedings{conf/ifip11-10/GengeFSM11, added-at = {2011-10-18T00:00:00.000+0200}, author = {Genge, Béla and Fovino, Igor Nai and Siaterlis, Christos and Masera, Marcelo}, biburl = {http://www.bibsonomy.org/bibtex/256cccd1b254ed4f7bd03566bd9dff391/dblp}, booktitle = {Critical Infrastructure Protection}, crossref = {conf/ifip11-10/2011}, editor = {Butts, Jonathan and Shenoi, Sujeet}, ee = {http://dx.doi.org/10.1007/978-3-642-24864-1_12}, interhash = {3c83d5d52ab3cdcfc91541084046daf6}, intrahash = {56cccd1b254ed4f7bd03566bd9dff391}, isbn = {978-3-642-24863-4}, keywords = {dblp}, pages = {167-183}, publisher = {Springer}, series = {IFIP Publications}, title = {Analyzing Cyber-Physical Attacks on Networked Industrial Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifip11-10/iccip2011.html#GengeFSM11}, volume = 367, year = 2011 } @inproceedings{conf/wetice/GengeS11, added-at = {2011-08-22T00:00:00.000+0200}, author = {Genge, Béla and Siaterlis, Christos}, biburl = {http://www.bibsonomy.org/bibtex/2067515f83a10fa586ff709cd96247f67/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/2011}, editor = {Reddy, Sumitra and Tata, Samir}, ee = {http://dx.doi.org/10.1109/WETICE.2011.48}, interhash = {671de992c781984b952753e5e30360d8}, intrahash = {067515f83a10fa586ff709cd96247f67}, keywords = {dblp}, pages = {285-290}, publisher = {IEEE Computer Society}, title = {Using Soft Real-Time Simulation in a Hybrid Environment for Cyber-Physical Security Experiments.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice2011.html#GengeS11}, year = 2011 } @inproceedings{conf/icumt/GengeH09, added-at = {2010-07-21T16:07:58.000+0200}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/2b3b3ccbca19f2ae119e2a7b8c3db452c/dblp}, booktitle = {ICUMT}, crossref = {conf/icumt/2009}, date = {2010-07-07}, ee = {http://dx.doi.org/10.1109/ICUMT.2009.5345641}, interhash = {11a79503c37fd8bb55e5ac2a96627a97}, intrahash = {b3b3ccbca19f2ae119e2a7b8c3db452c}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, title = {A syntactic approach for identifying multi-protocol attacks.}, url = {http://dblp.uni-trier.de/db/conf/icumt/icumt2009.html#GengeH09}, year = 2009 } @inproceedings{conf/idc/BelaPR08, added-at = {2010-07-21T16:05:13.000+0200}, author = {Genge, Béla and Haller, Piroska and Ratoi, Ovidiu}, biburl = {http://www.bibsonomy.org/bibtex/29654940cf11b602583e72f177df75e32/dblp}, booktitle = {IDC}, crossref = {conf/idc/2008}, date = {2009-09-01}, editor = {Badica, Costin and Mangioni, Giuseppe and Carchiolo, Vincenza and Burdescu, Dumitru Dan}, ee = {http://dx.doi.org/10.1007/978-3-540-85257-5_25}, interhash = {26563c1f0f8376b862cca0c319d0f3b9}, intrahash = {9654940cf11b602583e72f177df75e32}, isbn = {978-3-540-85256-8}, keywords = {dblp}, pages = {245-250}, publisher = {Springer}, series = {Studies in Computational Intelligence}, title = {Constructing Security Protocol Specifications for Web Services.}, url = {http://dblp.uni-trier.de/db/conf/idc/idc2008.html#BelaPR08}, volume = 162, year = 2008 } @inproceedings{conf/synasc/GengeH08, added-at = {2010-01-05T00:00:00.000+0100}, author = {Genge, Béla and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/24a6a92db3004da6c94e879d842f0f630/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2008}, date = {2010-01-05}, description = {dblp}, editor = {Negru, Viorel and Jebelean, Tudor and Petcu, Dana and Zaharie, Daniela}, ee = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2008.21}, interhash = {a26502a46eec1bf2f546bb47ab988be8}, intrahash = {4a6a92db3004da6c94e879d842f0f630}, isbn = {978-0-7695-3523-4}, keywords = {dblp}, pages = {362-365}, publisher = {IEEE Computer Society}, title = {A Modeling Framework for Generating Security Protocol Specifications.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2008.html#GengeH08}, year = 2008 } @article{GH2009towards, abstract = {Existing solutions for authentication and authorization in Web services make use of technologies such as SAML or WS-Security. These provide a static solution by using a set of predefined protocols. We propose a semantic security protocol model from which security protocol specifications are generated and automatically executed by participants. The proposed model consists of a sequential component, implemented as a WSDL-S specification, and an ontology component, implemented as an OWL specification. The correctness of the proposed model is ensured by using a set of rules and algorithms for generating it based on a protocol model given by the user.We validate our approach by generating and implementing several specifications for existing protocols such as ISO9798 or Kerberos protocols.}, added-at = {2009-09-01T14:16:01.000+0200}, author = {Genge, Bela and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/2da465a52975a7ce22a9ed9e135e7bf2a/bgenge%40engineering.upm.ro}, booktitle = {Networking 2009}, interhash = {4c9a370acbdd4c4ee67944df6cb8036e}, intrahash = {da465a52975a7ce22a9ed9e135e7bf2a}, issn = {1611-3349}, journal = {Lecture Notes in Computer Science}, keywords = {imported}, pages = {943--954}, publisher = {Springer-Verlag}, title = {Towards Automated Secure Web Service Execution}, volume = 5550, year = 2009 } @article{GH2009middleware, abstract = {We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the service layer. The communication layer is built on the SOAP layer and ensures the implementation of security and service protocols. The service layer provides the discovery of services and the authorization of client applications. In order to provide automated access to the platform services we propose a novel specification of security protocols, consisting of a sequential component, implemented as a WSDL-S specification, and an ontology component, implemented as an OWL specification. Specifications are generated using a set of rules, where information related to the implementation of properties such as cryptographic algorithms or key sizes, are provided by the user. The applicability of the proposed middleware is validated by implementing a video surveillance system.}, added-at = {2009-09-01T14:15:13.000+0200}, author = {Genge, Bela and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/2bfca164045ed26d679252b0ae6680873/bgenge%40engineering.upm.ro}, booktitle = {6th European Semantic Web Conference}, interhash = {84c764b0b4c2fd5c4e498852fc0595c6}, intrahash = {bfca164045ed26d679252b0ae6680873}, issn = {1611-3349}, journal = {Lecture Notes in Computer Science}, keywords = {imported}, pages = {476--490}, publisher = {Springer-Verlag}, title = {Middleware for Automated Implementation of Security Protocols}, volume = 5554, year = 2009 } @inproceedings{HG2005security, abstract = {Most of the ad-hoc wireless network routing protocol assume a trusted environment, mainly because securing communications between routers using conventional authentication methods (asymmetric cryptography, digital signatures, use of symmetric cryptography) are resource consuming. Secure routing protocols become of critical importance and have a lot of proposals to improvement security mechanisms. In this paper we will present the main security issues encountered in these environments and make a comparative study of the proposed mechanisms for securing the communication between wireless router nodes. Different kind of attack have different solution, and we try to select them to be combine in one solution without exceed de routing node capacities.}, added-at = {2009-09-01T14:13:58.000+0200}, address = {Nicolae Iorga St., No. 1, Targu Mures, Romania}, author = {Haller, Piroska and Genge, Bela}, biburl = {http://www.bibsonomy.org/bibtex/240adf655746fec2fbaef921c04385eca/bgenge%40engineering.upm.ro}, booktitle = {Inter-Eng2005: Proceedings of the 2nd Edition of the Interdisciplinarity in Engineering International Conference}, interhash = {11beb7a5ca58b2533648f95a20df0902}, intrahash = {40adf655746fec2fbaef921c04385eca}, isbn = {973-7794-41-9}, keywords = {imported}, location = {Targu Mures, Mures, Romania}, pages = {662--668}, publisher = {``Petru Maior'' University Press, Targu Mures, Romania}, title = {Security Issues in Wireless Distance Vector Routing Protocols}, year = 2005 } @inproceedings{GH2006towards, abstract = {Authentication in Virtual Organizations is an acute problem, when the system does not want to use a centralized, open to failures authentication model. In this paper we outline the specifications of a Coordinated Mobile Virtual Organization, where the coordinators are responsible only for the “introduction” of the new mobile nodes, which can move freely (but continuously) from one member to another. The system allows the use of a random number of coordinators, each of them having a random number of directly connected neighbors. We also propose a distributed authentication protocol based on the “Wide- Mouth Frog” and “Neumann-Stubblebine” protocols.}, added-at = {2009-09-01T14:12:51.000+0200}, author = {Genge, Bela and Haller, Piroska}, biburl = {http://www.bibsonomy.org/bibtex/26b9b4ffbf7d7b0479e63fccdf1d6d913/bgenge%40engineering.upm.ro}, booktitle = {Proceedings of the 5th RoEduNet IEEE International Conference}, interhash = {0e7bd2a1d09949a5f0bc77045f3f4e55}, intrahash = {6b9b4ffbf7d7b0479e63fccdf1d6d913}, isbn = {973-739-277-9}, keywords = {imported}, location = {Sibiu, Romania}, pages = {119--123}, publisher = {``Lucian Blaga'' University Press, Sibiu, Romania}, title = {Towards a distributed authentication system in Coordinated Mobile Virtual Organizations}, year = 2006 }