DCSL Publications      

Quyen, N.X., Nguyen, C.T., Barlet-Ros P., Dojen, R., “A Novel Approach to Security Enhancement of Chaotic DSSS Systems”, IEEE International Conference on Communications and Electronics (ICCE 2016), July 27-29 2016, Ha Long, Vietnam

Jurcut, A., Coffey, T. and Dojen, R., “Design Guidelines for Security Protocols to Prevent Replay & Parallel Session Attacks”, Elsevier Computer & Security, Volume 45, September 2014, pp. 255-273

Jurcut, A., Coffey, T. and Dojen, R., “On the Prevention and Detection of Replay Attacks Using a Logic-Based Verification Tool”, In: Computer Networks, Series: Communications in Computer and Information Science, Springer Internationsl Publishing, Volume 431, ISBN: 978-3-319-07940-0, 2014, pp.128-137

Jurcut, A.D., Coffey, T. and Dojen, R., “Design requirements to counter parallel session attacks in security protocols”, Twelfth Annual Conference on Privacy, Security and Trust (PST 2014), IEEE, ISBN: 978-1-4799-3502-4, pp. 298 – 305, Toronto, Canada , July 2014

Dojen, R. and Zhang, F., “EWAIP: an Empirical Wireless Sensor Network Applications Implementation Platform”, Third International Conference on Future Generation Communication Technologies, Luton, UK, 13-15 August 2014

Jurcut, A., Coffey, T. and Dojen, R., "Establishing and Fixing Security Protocol Weaknesses Using a Logic-based Verification Tool", Journal of Communications, Volume 8, Issue 11, November 2013, pp. 795-805

Lasc, I., Dojen, R. and Coffey, T., "On the Detection of Desynchronisation Attacks against Security Protocols that use Dynamic Shared Secrets", Elsevier Computers & Security, Volume 32, February 2013, pp. 115-129

Jurcut, A., Coffey, T. and Dojen, R., “Symmetry in Security Protocol Cryptographic Messages – A Serious Weakness Exploitable by Parallel Session Attacks”, In: International Conference on Availability, Reliability and Security (ARES), August 2012, pp. 410-416, ISBN 978-1-4673-2244-7 (DOI 10.1109/ARES.2012.39)

Lasc, I., Dojen, R. and Coffey, T., "Countering jamming attacks against an authentication and key agreement protocol for mobile satellite communications", Elsevier Computers & Electrical Engineering (Special Issue on Modern Trends in Applied Security: Architectures, Implementations and Applications), Volume 37, Issue 2, March 2011, pp.160-168

Lasc, I., Dojen, R. and Coffey, T., "A Mutual Authentication Protocol with Resynchronisation Capability for Mobile Satellite Communications", IGI International Journal of Information Security and Privacy, Volume 5, Issue 1, January 2011, pp. 33-49

Zhang, F., Dojen, R. and Coffey, T., "Comparative Performance and Energy Consumption Analysis of Different AES Implementations on a Wireless Sensor Newtork Node", Inderscience International Journal of Sensor Networks (IJSNET), Volume 10, No 4, 2011, pp. 192-201

Jurcut, A., Coffey, T., Dojen, R. and Gyorodi, R., "Security Protocol Design: A Case Study Using Key Distribution Protocols", Journal of Computer Science and Control Systems, Vol. 2009, No 2, 2009, pp.16-21

Muntean, C., Dojen, R., Coffey, T. and Gyorodi, R., "Analysing the Zhou-Gollmann Non-Repudiation Protocol", Journal of Computer Science and Control Systems, Vol. 2009, No. 1, 2009, pp.31-36

Muntean, C., Dojen, R. and Coffey, T., "Establishing and Preventing a New Replay Attack on a Non-Repudiation Protocol", In: IEEE International Conference on Intelligent Computer Communication and Processing, August 2009, pp. 185-192 (DOI 10.1109/ICCP.2009.5284749)

Dojen, R., Pasca, V. and Coffey, T., "Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications" In: Security and Privacy in Mobile Information and Communication Systems, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (LNICST), Vol. 17, September 2009, pp. 278-287 (DOI 10.1007/978-3-642-04434-2_24)

Past Publications     

Jurcut, A., Coffey, T., Dojen, R., and Gyorodi, R., "Weaknesses and Improvements of a Key Distribution Security Protocol", Annals of the University of Craiova, Series: Automation, Computers, Electronics and Mechatronics, Vol. 5(32), No. 1, December 2008, pp.36-42, ISSN 1841-0626

Jurcut, A., Coffey, T., Dojen, R. and Gyorodi, R., "Analysis of a key-establishment security protocol", Journal of Computer Science and Control Systems, Vol. 2008, 2008, pp. 42-47, ISSN 1844-6043

Dojen, R., Lasc, I., Coffey, T. and Gyorodi, R., "Verifying a Key Distribution and Authentication Protocol Using a Logic-Based Proving Engine", Journal of Computer Science and Control Systems, Vol. 2008, 2008, pp. 22-27, ISSN 1844-6043

Pasca, V., Dojen, R., Coffey, T. and Gyorodi, R., "Detecting Attacks on Security Protocols Using Model Checking", Journal of Computer Science and Control Systems, Vol. 2008, 2008, pp. 71-76, ISSN 1844-6043

Dojen, R., Jurcut, A., Coffey, T. and Gyorodi, C., "On establishing and fixing a parallel session attack in a security protocol", In: Intelligent Distributed Computing, Systems and Applications, Series: Studies in Computational Intelligence, Volume 162/2008, September 2008, pp.239-244, ISBN 978-3-540-85256-8

Coffey, T. and Dojen, R., "A Formal Verification Centred Design Process for Security Protocols". In: Handbook of Research on Information Security and Assurance, Eds: Gupta, J.N.D. and Sharma, S.K., IGI Global, August 2008, pp. 165-178, ISBN 978-1-59904-855-0

Dojen, R., Zhang, F. and Coffey, T., "On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks", In: IEEE International Conference on Performance Computing and Communications, December 2008, pp. 499-506, ISBN: 978-1-4244-3368-1 (DOI 10.1109/PCCC.2008.4745088)

Pasca, V., Dojen, R., Jurcut, A. and Coffey, T., "Determining a Parallel Session Attack on a Key Distribution Protocol using a Model Checker", In: Proceedings of International Conference on Advances in Mobile Computing and Multimedia, ACM Press, November 2008, pp. 150-155, ISBN:978-1-60558-269-6

Dojen, R., Lasc, I. and Coffey, T. , "Establishing and Fixing a Freshness Flaw in a Key-Distribution and Authentication Protocol", In: IEEE International Conference on Intelligent Computer Communication and Processing, August 2008, pp. 185-192, ISBN:978-1-4244-2673-7 (DOI 10.1109/ICCP.2008.4648371)

Dojen, R., Jurcut, A., Coffey, T. and Gyorodi, C., "On establishing and fixing a parallel session attack in a security protocol" , 2nd International Symposium on Intelligent Distributed Computing – IDC 2008. 18-20 September 2008, Catania, Italy, pp.185-192

Flanagan, T., Scott, T.J. and Dojen, R., "Leveraging Dependency Structure Matrix (DSM) and System Dynamics in Combination to Reduce Project Rework", 26th International Conference of The System Dynamics Society 2008, 20-24 July 2008, Athens, Greece, Paper No. 369

Dojen, R., "A Communication Protocol Conformance Verification System", Annals of the University of Oradea, Fascicle of Electrotechnics, Section of Computer Science and Control Systems, Vol. 2007, 2007, pp.26-31 (ISSN 1223-2106)

Dojen, R., Coffey, T., Gyorodi, R. and Tian, L., "Using the Common Authentication Protocol Speccification Language for logic-based security protocol verification", Annals of the University of Oradea, Fascicle of Electrotechnics, Section of Computer Science and Control Systems, Vol. 2007, 2007, pp.32-37 (ISSN 1223-2106)

Dojen, R., Coffey, T. and Tian, L., "A security protocol specification language extension for modal logic-based verification", Proceedings of IET China-Ireland International Conference on Information and Communications Technologies CIICT07, IET Press, August 2007, pp. 295-302, ISBN: 978-0-86341-827-3

Ventuneac, M., Dojen, R. and Coffey, T., "Automated Verification of Wireless Security Protocols using Layered Proving Trees", WSEAS Transactions on Communications, Vol. 5, No. 2, February 2006, pp. 252-258, ISSN 1109-2742

Tian, L., Dojen, R. and Coffey, T., "Extending Formal Security Protocol Specification Languages for use with New Verifications Techniques", WSEAS Transactions on Information Science and Applications, Vol. 3, No. 2, February 2006, pp.372-378, ISSN 1709-0832.

O'Sullivan, S., Dojen, R. and Coffey, T., "Protecting Virtual Networks With A Distributed Cooperative Multi-layer Security Architecture", WSEAS Transactions on Computers, Vol. 5, No. 1, January 2006, pp. 69-76, ISSN 1109-2750

Dojen, R. and Coffey, T., "Layered Proving Trees: A Novel Approach to the Automation of Logic-Based Security Protocol Verification", ACM Transactions on Information and System Security (TISSEC), Volume 8, Issue 3, August 2005, pp. 287-311.

Dojen, R. and Coffey, T., "A Case Study on Automation of Verification Logics", 9^th International Conference on Intelligent Engineering Systems INES 2005, Mediterranean Sea, September 16-19, 2005, pp.139-145.

Ventuneac, M. and Coffey, T., "Techniques for Analyzing Security Protocols: A Case Study on Non-repudiation", Proceedings of EMES'05, Oradea, Romania, 2005

Picovici, D., Levy, D., Mahdi, A.E., Coffey, T., "The cascade induction machine: a reliable and controllable motor or generator", Electric Power Systems Research (Elsevier Science), 68, 2004, pp.193-207, ISSN: 0378-7796.

Morrison, J. and Coffey, T., "An Experimental Analysis of Geometric Attacks on DCT-Based Watermarks", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 6, December 2004, pp 1656-1661. ISSN 1790-0832

Mastorakis, N. (Editor), Antonidakis, M., Coffey, T. et. al (Guest Editors), WSEAS Transactions on Information Science and Applications, Issue 5, Vol.1, Nov. 2004. ISSN 1790-0832

Dojen, R. and Coffey, T., "A Novel Approach to the Automation of Logic-Based Security Protocol Verification", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 5, November 2004, pp. 1243-1247. ISSN 1790-0832

Healy, K., Coffey, T. and Dojen, R., "A Comparative Analysis of State-Space Tools for Security Protocol Verification", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 5, November 2004, pp. 1256-1261. ISSN 1790-0832

Ventuneac, M., Coffey, T., Newe, T., "Reasoning on Properties of Non-Repudiation Security Protocols", WSEAS Transactions on Information Science and Applications, Issue 5, Volume 1, November 2004, pp 1262-1267. ISSN 1790-0832.

Dojen, R. and Coffey, T., "Conditional Linear Cryptanalysis - Applying Linear Cryptanalysis to Ciphers with Key-Dependant Operations". WSEAS Transactions on Computers, Volume 3, Issue 5, November 2004, pp.1425-1430. ISSN 1109-2750

Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "The Distributed Algorithms in Mining Association Rules", Academic Journal (Revista Academiei): Fuzzy Systems and A. I. Reports and Letters, Romania, vol. 10, No. 1-2, pp. 55-65, 2004.

Coffey, T., Ventuneac, M., Newe, T. and Salomie, I., "On investigating the security and fairness of a fair exchange protocol using logic-based verification", Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES2004), Cluj-Napoca, Romania, pp 325-330, U.T.Pres 2004, ISBN: 973-662-120-0.

Marian, T., Dumitriu, B., Dinsoreanu, M. and Salomie, I., "A framework of reusable structures for mobile agent development", Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES2004), Cluj-Napoca, Romania, Sept. 19-21, pp. 279-284.

Dojen, R. and Coffey, T., "A Novel Approach to the Automation of Logic-Based Security Protocol Verification", Proceedings of E-Activities'04 (Invited Session on Network and Data Security), Rethymno, Crete Island, Greece, 24-26 October 2004, Paper No. 476-178 (CD Proceedings only)

Morrison, J. and Coffey, T., "An Experimental Analysis of Geometric Attacks on DCT Based Watermarks", Proceedings of WSEAS International Conference on E-ACTIVITIES, Crete, Oct. 2004. ISBN: 960-8457-04-1.

Ventuneac, M., Coffey, T. and Newe, T., "Reasoning on Properties of Non-Repudiation Security Protocols", Proceedings of WSEAS International Conference on E-ACTIVITIES, Crete, Oct. 2004. ISBN: 960-8457-04-1.

Healy, K., Coffey, T. and Dojen, R., "A Comparative Analysis of State-Space Tools for Security Protocol Verification", Proceedings of E-Activities'04 (Invited Session on Network and Data Security), Rethymno, Crete Island, Greece, 24-26 October 2004, Paper No. 476-185 (CD Proceedings only)

Bogan-Marta, A., Gyorodi, R. and Gyorodi, C., "Implications of syntactic and semantic categories of grammars on a speech recognition tool", ECI 2004 The sixth International Scientific Conference on Electronic Computers and Informatics, September 22-24, 2004, Kosice - Herl'any, Slovakia, pp. 86-91.

Gyorodi, R. and Gyorodi, C., "Mining association rules in frequently updated databases using Dynamic FP-trees", ECI 2004 The sixth International Scientific Conference on Electronic Computers and Informatics, September 22-24, 2004, Kosice - Herl'any, Slovakia, pag. 19-26.

Tierney, E., Newe, T. and Coffey, T., 2004. "Cox's Algorithm: strengths and weaknesses with varying composition digital images", 6th WSEAS International Conference on Telecommunications and Informatics (TELE-INFO '04), Cancun, Mexico, May 12-15, 2004, ISBN 960-8052-98-X.

Gyorodi, C., Gyorodi, R. and Holban, S., "A Comparative Study of Association Rules Mining Algorithms", SACI 2004, 1^st Romanian-Hungarian Joint Symposium on Applied Computational Intelligence, Timisoara, Romania, May 25-26, 2004, pp. 213-222.

Gyorodi, R., Caus, S., Holban, S., Gyorodi, C., and Bogan-Marta. A., "Management System for Electrical Residential Installation", CONTI'2004, 6^th International Conference on Technical Informatics, May 26-28 2004, Timisoara, Romania, Transactions on Automatic Control and Computer Science, Scientific Bulletin of Politehnica University of Timisoara, Vol 49(63) nr. 2, 2004, pp. 209-215. ISSN 1224-600X.

Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "Text mining and Web mining", The 5^th International Conference on Renewable Sources and Environmental Electro-Technologies, Session Computer Science and Control Systems, RSEE' 2004, Analele Universităţii din Oradea, May 27-29, 2004, Stana de Vale-Spa, Romania, pp. 14-18.

Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "Bridging the gap between OLAP and Data Mining", The 5^th International Conference on Renewable Sources and Environmental Electro-Technologies, Session Computer Science and Control Systems, RSEE' 2004, Analele Universităţii din Oradea, May 27-29, 2004, Stana de Vale-Spa, Romania, pp. 11-14.

Gyorodi, C., Gyorodi, R., Bogan-Marta, A. and Pater, M., "The distributed algorithms in mining association rules", ICCC 2004 International Conference on Computers and Communications, May 27-29, 2004 Baile Felix Spa-Oradea, Romania, First Edition, pp. 186-192.

Dojen, R. and Coffey, T., "Conditional Linear Cryptanalysis - Applying Linear Cryptanalysis to Ciphers with Key-Dependant Operations". Invited paper at ISA'04, 4th WSEAS International Conference on Information Science and Applications), Miami, USA, 21-23 April 2004, Paper No. 484-266 (CD Proceedings only)

Newe T. and Coffey T., "On the Logical Verification of Key Exchange Protocols for Mobile Communications". Chapter in:  Recent Advances in Communications and Computer Science (WSEAS Press), pp 76-81, 2003. ISBN:960-8052-86-6.

Coffey, T., Dojen, R. and Flanagan, T., "Formal Verification: An Imperative Step in the Design of Security Protocols", Computer Networks Journal, Elsevier Science, Volume 43, Number 5, 5 December 2003, pp.601-618.

Newe, T. and Coffey, T., "Minimum-Knowledge Schemes for low-power, low-memory Devices", Transactions on Circuits and Systems, Issue 2, Volume 2, April 2003. pp 460-465. ISSN 1109-2734.

Newe, T. and Coffey, T., "Formal Verification logic for hybrid security protocols", International Journal of Computer Systems Science & Engineering, Vol.18 no 1, Jan 2003, pp 17-25. ISSN 0267 619

Alesky, M. and Coffey, T., et.al (Editors), "Proceedings of International Symposium on Information and Communication Technologies (ISICT03)" - A Volume in the ACM International Conference Proceedings Series. 2003. ISBN 0-9544145-2-7.

Gyorodi, R., "A comparative study of iterative algorithms in association rules mining", Studies in Informatics and Control Journal, Volume 12 Number 3, September 2003, ISSN 1220-1766, pag. 205-215.

Gyorodi, C. and Gyorodi, R., "Association Rules Mining in Distributed Environments", Annals of University of Craiova, Romania, Electrical Engineering Series, No. 27, Vol .1 , 2003, pp. 126-133, ISSN 1223-530X

Gyorodi, C. and Gyorodi, R., "Frequent Patterns Discovery without Candidates Generation", RIA Journal (revista Romana; de Informatică şi Automatică), Volume 13, Number 4 , 2003, pp. 76-88, ISSN 1220-1758.

Ventuneac, M., Coffey, T., Dragomiroiu, M. and Salomie, I., "A policy-based security framework for virtual learning environments", Proceedings of 14th International Conference on Control Systems and Computer Science. Bucharest, 2003, ISBN: 973-8449-18-9.

Dragomiroiu, M., Ventuneac, M., Salomie, I. and Coffey, T., "On developing enterprise frameworks for web-applications", Proceedings of 14th International Conference on Control Systems and Computer Science, Bucharest, 2003. ISBN: 973-8449-18-9.

Dinsoreanu, M., Godja, C., Anghel, C., Salomie, I. and Coffey, T., "Mobile Agent based Solutions for Knowledge Assessment in eLearning Environments", Proceedings of EUROMEDIA'2003 Conference, Plymouth University, Plymouth, UK, 2003

Gyorodi, C., Gyorodi, R. Coffey, T. and Holban, S., "Mining association rules using dynamic FP-trees", Proceedings of Irish Signal and Systems Conference, Limerick, 2003, ISBN 0 954 2973 1 8.

Dinsoreanu, M., Godja, C., Anghel, C., Salomie, I. and Coffey, T., "Mobile agent solutions for student assessment in virtual learning environments", Proceedings of IAWTIC 2003 Conference, Viena, Austria. 2003. ISBN 1740880692.

Gyorodi, C., Pater, M. and Gyorodi, R., "Overview of Knowledge Discovery and Data Mining in Databases", Proceedings of Arad, November 28-30, 2002, Arad, Romania, pp. 67-73.

Dragomiroiu, M., Gyorodi, R., Salomie, I. and Gyorodi, C., "Designing Reusable Web-Applications by Employing Enterprise Frameworks", Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Editura Springer Verlag, Berlin, pp. 1051-1060, ISSN 0302-9743, ISBN 3-540-20409-1.

Newe, T. and Coffey, T., "Minimum-Knowledge Schemes for low-power, low-memory Devices", Invited Paper 3rd WSEAS Int. Conf. on Applied Informatics and Communications (AIC'03), Rhodes Island, Greece, Nov 15-17, 2003. ISBN 960-8052-90-4.

Morrison, J. and Coffey, T., "Attacks and Counter Measures in Spread Spectrum Watermarking Systems", Proceedings of IT&T Conference 2003, Letterkenny, Ireland, Oct 2003, ISSN 1649-1246.

Coffey, T. and Dojen, R., "Analysis of a Mobile Communication Security Protocol", Proceedings of ISICT'03 (Invited Workshop on Network Security and Management at the International Symposium on Information and Communication Technologies), Dublin, Ireland, 24-26 September 2003, pp.329-334, ISBN 0-9544145-2-7

Ventuneac, M., Coffey, T. and Salomie, I., "A policy-based security framework for web-enabled applications", Proceedings of International Symposium on Information and Communication Technologies (ISICT03), Trinity College, Dublin, 2003, pp. 505-510. ISBN 0-9544145-2-7.

Newe, T. and Coffey, T., "Security protocols for 2G and 3G wireless communications", Proceedings of Symposium on Information and Communication Technologies (ISICT03), Trinity College, Dublin, 2003, pp. 348-353. ISBN 0-9544145-2-7.

Coffey, T., Dojen, R. and Flanagan, T., "On the Automated Implementation of Modal Logics used to Verify Security Protocols", Proceedings of ISICT'03 (Invited Workshop on Network Security and Management at the International Symposium on Information and Communication Technologies), Dublin, Ireland, 24-26 September 2003, pp.322-328, ISBN 0-9544145-2-7

Coffey, T., Saidha, P. and Burrows, P., "Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt", Proceedings of International Symposium on Information and Communication Technologies (ISICT03), Trinity College, Dublin, 2003, pp. 370-376. ISBN 0-9544145-2-7.

Coffey, T., Dojen, R. and Flanagan, T., "On the Formal Verification of Cryptographic Protocols", Proceedings of CSCC'03 (WSEAS International Conference on Circuits, Systems, Communications and Computers), Corfu, Greece, 7-10 July 2003, Paper No. 457-355 (CD Proceedings only), ISBN 960-8052-82-3

Newe, T., Coffey, T., "On the logical verification of key exchange protocols for mobile communications", Proceedings of the WSEAS International Conference on Communications (CSCC2003), Corfu, Greece, 2003, ISBN: 960 8052 82 3.

Gyorodi, R., "Mining association rules in frequently updated databases", Proceedings CSCS - 14 vol II, 14th International Conference on Control Systems and Computer Science, Editura POLITEHNICA Press Bucharest, Romania, 2-5 July 2003, pp. 109-114. ISBN 973-8449-19-7

Coffey, T., Dojen, R. and Flanagan, T., "On Different Approaches to Establish the Security of Cryptographic Protocols", Proceedings of SAM'03 (Conference on Security and Management), Vol. II, Las Vegas, USA, 23-26 June 2003, Pages 637-643, ISBN 1-932415-18-1, Editor H.R. Arabnia and Y. Mun

Dragomiroiu, M., Ventuneac, M., Salomie, I. and Coffey, T., "Application framework development for virtual learning environments", Proceedings of 25^th Intl. Conf. Information Technology Interfaces ITI2003, Cavtat, Croatia, June 2003.

Ventuneac, M., Coffey, T., Dragomiroiu, M. and Salomie, I., "Security policies for customizable access control in virtual learning environments", Proceedings of International Conference on Engineering of Modern Electrical Systems (EMES03), Oradea - Felix Spa, Romania, 2003, ISSN - 1223-2106.

Dragomiroiu, M., Gyorodi, R, Ventuneac, M, Salomie, I and Coffey, T, "Web-Applications, An Enterprise Frameworks Based Approach", Proceedings of Engineering of Modern Electrical Systems (EMES 2003), Computer Science Session, Oradea, Romania, May 29-June 1, 2003.

Gyorodi, R., Gyorodi, C. and Nagy, A., "A comparative study of association rules mining algorithms with and without candidates generation", Proceedings EMES'03, The 7'th Scientific conference with international participation, session Computer Science and Control Systems, May 29-31, 2003, Oradea, Romania, pp. 51-57. ISSN 1223-2106.

Dragomiroiu, M., Gyorodi, R., Ventuneac, M., Salomie, I. and Coffey, T.,  "Web-applications, an enterprise frameworks-based approach", Proceedings of International Conference on Engineering of Modern Electrical Systems (EMES03), Oradea- Felix Spa, Romania, 2003, pp. 36-42. ISSN - 1223-2106

Dinsoreanu, M., Godja, C., Anghel, C., Salomie, I. and Coffey, T., "Mobile agent based solutions for knowledge assessment in eLearning environments", Proceedings of EUROMEDIA'2003 Conference, Plymouth University, UK, April 2003, ISSN 1649-1246.