BibSonomy ::  author :: Genge ::

bookmarks

publications

• A Modeling Framework for Generating Security Protocol Specifications.
  Béla Genge and Piroska Haller SYNASC, page 362-365. IEEE Computer Society, (2008)
  to dblp by dblp on Jan 5, 2010, 12:00 AM
  URL | BibTeX | spam 
• Performance Evaluation of Security Protocols
  Béla Genge and Piroska Haller CoRR(2009) informal publication .
  to dblp by dblp on Nov 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Extending WS-Security to Implement Security Protocols for Web Services
  Béla Genge and Piroska Haller CoRR(2009) informal publication .
  to dblp by dblp on Oct 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Certificate-based Single Sign-On Mechanism for Multi-Platform Distributed Systems
  Attila Magyari and Béla Genge and Piroska Haller CoRR(2009) informal publication .
  to dblp by dblp on Oct 2, 2009, 12:00 AM
  URL | BibTeX | spam 
• Towards Automated Secure Web Service Execution
  Bela Genge and Piroska Haller Lecture Notes in Computer Science(2009)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:16 PM
  BibTeX | spam 
• Middleware for Automated Implementation of Security Protocols
  Bela Genge and Piroska Haller Lecture Notes in Computer Science(2009)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:15 PM
  BibTeX | spam 
• Security Issues in Wireless Distance Vector Routing Protocols
  Piroska Haller and Bela Genge Inter-Eng2005: Proceedings of the 2nd Edition of the Interdisciplinarity in Engineering International Conference, page 662--668. Nicolae Iorga St., No. 1, Targu Mures, Romania, ``Petru Maior'' University Press, Targu Mures, Romania, (2005)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:13 PM
  BibTeX | spam 
• Towards a distributed authentication system in Coordinated Mobile Virtual Organizations
  Bela Genge and Piroska Haller Proceedings of the 5th RoEduNet IEEE International Conference, page 119--123. ``Lucian Blaga'' University Press, Sibiu, Romania, (2006)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:12 PM
  BibTeX | spam 
• A typed specification for security protocols
  Bela Genge and Iosif Ignat Proceedings of the 5th WSEAS International Conference on Data Networks, Communications and Computers, page 113--118. WSEAS Press, Greece, (2006)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:12 PM
  BibTeX | spam 
• Attacks in single and multi-protocol environments
  Bela Genge and Piroska Haller Proceedings of the 7th International Conference on Computer Science and Energetics-Electrical Engineering, page 54--58. EMTE Press, Romania, (2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:11 PM
  BibTeX | spam 
• Verifying the Independence of Security Protocols
  Bela Genge and Iosif Ignat Proceedings of the 3rd IEEE International Conference on Intelligent Computer Communication and Processing, page 155--163. UTCN Press, Romania, (2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:10 PM
  BibTeX | spam 
• Extending the Strand Space Model for Security Protocol Composition
  Bela Genge and Piroska Haller Inter-Eng2007: Proceedings of the 3rd Edition of the Interdisciplinarity in Engineering International Conference, page 1--7. Nicolae Iorga St., No. 1, Targu Mures, Romania, ``Petru Maior'' University Press, Targu Mures, Romania, (2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:09 PM
  BibTeX | spam 
• Bindings for Security Protocol Composition
  Bela Genge and Piroska Haller Proceedings of the 6th RoEduNet IEEE International Conference, page 64--69. Technical University Press, Craiova, Romania, (2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:08 PM
  BibTeX | spam 
• An Abstract Model for Security Protocol Analysis
  Bela Genge and Iosif Ignat WSEAS Transactions on Computers(2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:07 PM
  BibTeX | spam 
• A Chained Authentication Model for Virtual Organizations
  Bela Genge and Piroska Haller Acta Universitatis Cibiniensis, Technical Series(2007)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 2:04 PM
  BibTeX | spam 
• Informal specification-based performance evaluation of security protocols
  Bela Genge and Piroska Haller and Iosif Ignat and Ovidiu Ratoi Proceedings of the 4th IEEE International Conference on Intelligent Computer Communication and Processing, page 193--200. UTCN Press, Romania, (2008)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 1:59 PM
  BibTeX | spam 
• Component Based Platform for Multimedia Applications
  Ovidiu Ratoi and Piroska Haller and Ioan Salomie and Bela Genge Proceedings of the 7th RoEduNet IEEE International Conference, page 40--43. UTCN Press, Romania, (2008)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 1:58 PM
  BibTeX | spam 
• Syntactic Sequential Composition of Security Protocols
  Bela Genge and Iosif Ignat Automation Computers Applied Mathematics(2008)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 1:57 PM
  BibTeX | spam 
• A Modeling Framework for Generating Security Protocol Specifications
  Bela Genge and Piroska Haller Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC'08, Workshop on Global Computing Models and Technologies, page 362--365. IEEE Computer Society Press, (2008)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 1:55 PM
  BibTeX | spam 
• Middleware for Implementing Security Protocols
  Bela Genge and Piroska Haller 8th International Conference on Computer Science and Energetics-Electrical Engineering, page 139--144. EMTE Press, Romania, (2008)
  to imported by bgenge@engineering.upm.ro on Sep 1, 2009, 1:53 PM
  BibTeX | spam