|
|
Behrouz
Tork Ladani
|
|
|
|
||
|
· Symbolic Processing (Term rewriting, Logic extensions) · Formal Specification and Verification · Cryptographic Protocols · Network Security · Security in Mobile Agents · Web Service Composition/ Security |
||
|
· Computer Fundamentals (BSc.) · Symbolic Processing - Logic & Term rewriting (MSc.) · Expert Systems (MSc.) · Discrete Mathematics for Computer Science (BSc) · Statistical Pattern Recognition (MSc.) · Artificial Intelligence (BSc) · Formal Languages and Automata Theory (BSc) · Cryptography and Network Security (BSc) · Security in Computer Systems (BSc) · Internet Engineering (BSc) |
||
|
o Zahra Derakhshandeh, Behrouz Tork Ladani, Naser Netmat Bakhsh,
“Modeling and Combining Access Control policies Using Constrained Policy
Graph (CPG)”, Journal of Applied Sciences, 2008. o Lena Mashayekhy, Mohammad Ali Nematbakhsh, Behrouz Tork
Ladani, “Detecting Similar Negotiation Strategies”. Book Chapter in Lecture Notes in Electrical Engineering - Trends in Intelligent Systems and Computer Engineering,
Springer, pp. 297-307, Vol. 6, 2008. o Lena Mashayekhi, Mohammad Ali Nematbakhsh, Behrouz Tork
Ladani, "Comparing Negotiation Strategies Based on Offers",
Book Chapter in Frontiers in Artificial Intelligence and Applications -
Applications of Data Mining in E-Business and Finance, IOS Press, Vol. 177,
pp. 87-98, 2008. o B. Tork Ladani, S. Jalili, "A
Method for Analyzing The Role of Intruder in Cryptographic Protocols", Journal of Faculty of Engineering, University of Tabriz,
pp 1-14, Vol. 32, No. 40, Autumn 2005. o B. Tork Ladani, B. Alcalde, A. Cavalli, "Passive
Testing - A Constrained Invariant Checking Approach", in Testing of
Communicating Systems, Lecture Notes in Computer Science, pp. 9-22,
Vol. 3502, Jun 2005. o S. Jalili, B. Tork Ladani, "A Model for
Specification of Cryptographic Protocols Using Term Rewriting",
Modarres Technical and Engineering Journal, pp. 11-29, Vol. 13. Autumn 2003.
2009 ·
Marzieh Ispareh,
Behrouz Tork Ladani, “A Conceptual Framework for Specification, Analysis,
and Design of Anonymity Services”, To be appear in proceedings of 2nd International
Workshop on Privacy and Anonymity in the Information Society (PAIS’09),
Saint-Petersburg (Russia), March 2009. ·
Hesam Izakian,
Behrouz Tork Ladani, Kamran Zamanifar and Ajith Abraham, “A
Novel Particle Swarm Optimization Approach for Grid Job Scheduling”,
Third International Conference on Information Systems, Technology and
Management (ICISTM-09), Springer Verlag, Germany, 2009. ·
Hesam Izakian, Behrouz
Tork Ladani, Kamran Zamanifar, Ajith Abraham and Václav Snášel, “A
Continuous Double Auction Method for Resource Allocation in Computational
Grids”, 2009 IEEE Symposium on Computational Intelligence in
Scheduling (CISched 2009), Nashville, USA, IEEE Press, USA, 2009. 2008 ·
M. Mahmoudi, B. Tork
Ladani, “A Model of Police System in Mobile Agents Environment”, in
Proceedings of the 5th International ISC Conference on Information Security
and Cryptology (ISCISC’08), Malek-Ashtar University of Technology, October
2008. ·
B. Tork Ladani, M.
Ispareh, “A Conceptual Model for Classification and Analysis of Anonymity
Requirements and Services”, in Proceedings of the 5th International ISC
Conference on Information Security and Cryptology (ISCISC’08), Malek-Ashtar
University of Technology, October 2008. ·
Hesam Izakian, S. Amir
Hassan Monadjemi, Behrouz Tork Ladani, Kamran Zamanifar, “Multi-Font
Farsi/Arabic Isolated Character Recognition Using Chain Code”,
Proceedings of World Academy of Science, Engineering, and Technology, Vol.
33, Sep. 2008. ·
Hamed Shahbazi,
Alireza Mokhtaripour, Mohammad Dalvi, Behrouz Tork Ladani, “A new Approach
for Scoring Relevant Documents by Applying a Farsi Stemming Method in Persian
Web Search Engines”, Book Chapter in Communications in Computer and
Information Science - Advances in Computer Science and Engineering, Springer
Berlin Heidelberg, Vol. 6, 2008 ·
Mousa Mousazadeh,
Behrouz Tork Ladani, "Verification of
Liveness Properties in Term Rewriting Systems Using Tree Automata and
Termination Analysis", in Proceedings of the 16th
Iranian Conference on Electrical Engineering (ICEE 2008), Tarbiat Modares
University, Tehran, Iran, May 2008. [PDF in
Persian] ·
M. E. Basiri, M.
Hosseinzadeh Aghdam, Sh. Nemati, B. Tork Ladani, “ A New Method for
Feature Selection in Bioinformatics Data Using Ant Colony Optimization”,
in Proceedings of 13th Annual CSI Computer Conference, CSICC-2008, Sharif
University of Technology, Kish Iceland, March 2008. 2007 ·
Fatemeh Raji, Behrouz
Tork Ladani, Mehdi Berenjkoub, "Anonymous
Agent with Anonymous Itinerary", in Proceedings of the
Fourth IEEE International Conference on Computational Intelligence and
Security Workshop (CISW07), December 2007, Harbin, China. [PDF in English] ·
Sohail Saifipoor,
Behrouz Tork Ladani, Naser Nematbakhsh, "A Dynamic Reconfigurable Web
Service Composition Framework Using Reo Coordination Language", in
Proceedings of the 5th IEEE European Conference on Web Services, Nov.
2007, Halle (Saale), Germany. [PDF in
English] ·
Zahra Derakhshandeh,
Behrouz Tork Ladani, Naser Nematbakhsh, "Verification of Access
Control Policies in Composition of Web Services Using Take-Grant Protection
Model", in Proceedings of the fourth Iranian Society of Cryptology
Conference (ISCC07), Iran University of Science and Technology, October
16-18, 2007. [PDF in Persian] ·
Fatemeh Raji, Behrouz
Tork Ladani, Mehdi Berenjkoub, "Clueless Anonymous Agent: A Method
for Mobile Agent Security", in Proceedings of the fourth Iranian
Society of Cryptology Conference (ISCC07), Iran University of Science and
Technology, October 16-18, 2007. [PDF
in Persian] ·
Alireza Zahedpour, S.
Amir Hassan Monadjemi, Behrouz Tork Ladani, "A New Method For
Fingerprint Recognition Using Neural Networks", in Proceedings of
the fourth Iranian Society of Cryptology Conference (ISCC07), Iran University
of Science and Technology, October 16-18, 2007. [PDF in Persian] ·
Hamed Shahbazi,
Alireza Mokhtaripour, Hamid Mohammadi, Behrouz Tork Ladani, "A
Persian Electronic Document Search Engine Using Stemming and Fourier Domain
Score", in Proceedings of the 10th Iranian Student Conference on
Electrical Engineering (ISCEE07), Isfahan University of Technology, Sep.
2007. [PDF in Persian] ·
Mojtaba Vatani,
Behrouz Tork Ladani, Naser NematBakhsh, "A Method for Automatic Test
Case Generation Using View Chart", in Proceedings of the 10th
Iranian Student Conference on Electrical Engineering (ISCEE07), Isfahan
University of Technology, Sep. 2007. [PDF
in Persian] ·
Sohail Saifipoor,
Behrouz Tork Ladani, Naser Nematbakhsh, "Modelling Web Service
Composition Using Reo Coordination Language", Proceedings of
International Conference for Internet Technology and Secured
Transactions (ICITST-2007), May 2007, London, United Kingdom. [PDF in English] ·
B. Tork Ladani, P.
Taheri Makhsous, H. R. Shayegh Boroujeni, S. Jalalian, "Persian
Handwritten Analysis for Extracting Structural Features and Writer
Identification", Proceedings of the 4th Iranian Conference on
Machine Vision and Image Processing (MVIP 2007), Mashad, Iran, February
14-15, 2007 [PDF in Persian] 2006 ·
Mashayekhy Lena,
NematBakhsh Mohammadali, Tork Ladani Behrouz, "E-Negotiation Model
Based on Data Mining", Proceedings of IADIS International Conference
e-Commerce 2006, pp 369-373, Barcelona, Spain, 9-11 December 2006. [PDF in English] ·
B. Tork Ladani, "A
Model of Defense in Information Warfare", Proceedings of the First
International Conference on Islamic world, Information technology, and
Information society (IC3I 2006), Dec. 2006, University of Isfahan, Iran. [PDF in Persian] ·
B. Tork Ladani, M.
Berenjkoub, “A Comparative Study on National Information Security
Strategies in Finland, US and Iran”, Proceedings of the 3rd Workshop
on Information Technology and Its Disciplines (WITID’06), Isfahan University
of Technology, Isfahan, Iran, Jan 2006. [PDF in English] ·
M. Berenjkoub,
B. Tork Ladani, “Information Security Community: A Nationwide
Examination”, Proceedings of the 3rd Workshop on Information
Technology and Its Disciplines (WITID’06), Isfahan University of Technology,
Isfahan, Iran, Jan 2006. [PDF in
English] ·
F. Ghasemi, N. Nemat
Bakhsh, B. Tork Ladani, M. Sirjani, “A Formal Model for Organization of
Multi-agent Systems”, Proceedings of the 3rd Workshop on Information
Technology and Its Disciplines (WITID’06), Isfahan University of Technology,
Isfahan, Iran, Jan 2006. [PDF in
English] ·
F. Ghasemi, N. Nemat
Bakhsh, B. Tork Ladani, M. Sirjani, “Specification and Implementation
of Multi-agent Organizations ”, Proceedings of the 2nd
International Conference on Web Information Systems and Technologies
(WEBIST-2006), Setúbal, Portugal, April 2006. [PDF in English] ·
F. Ghasemi, N. Nemat
Bakhsh, B. Tork Ladani, M. Sirjani, “A Formal Model for Coordination
Behavior of the Organization in Multi Agent Systems”, Proceedings of
the 2nd IEEE International Conference on Information & Communication
Technologies: From Theory to Applications - ICTTA 2006, Damascus (Syria),
April 2006. [PDF in English] ·
A. Fatemi, N. Nemat
Bakhsh, B. Tork Ladani, “An Investigation of Agent Oriented Software Engineering
Methodologies to Provide an Extended Methodology”, Proceedings of the
2nd IEEE International Conference on Information & Communication
Technologies: From Theory to Applications - ICTTA 2006, Damascus (Syria),
April 2006. [PDF in English] ·
B. Tork Ladani, S.
Jalili, “Security Analysis of a VoIP Authentication and Key Exchange
Protocol”, Proceedings of the 14th Iranian Conference on
Electrical Engineering (ICEE 2006), Amirkabir University of Technology,
Tehran, Iran, May 2006. [PDF in Persian] 1998-2005 ·
B. Tork Ladani, S.
Jalili, "Definition and verification of Security invariants on the
State Machine Specification of Cryptographic Protocols" , in
Proceedings of the third Iranian Society of Cryptology Conference (ISCC05),
Isfahan University of Technology, Sept. 2005. [PDF in Persian] ·
S. Jalili, B.
Tork Ladani, "Exploring Intruder Cheat Scenarios in Cryptographic
protocols Using Term Rewriting", in Proceedings of the Second
Iranian Society of Cryptology Conference (ISCC03), Sharif University of
Technology, Oct. 2003. [PDF in
Persian] ·
B. Tork Ladani, S.
Jalili, "Verification of Cryptographic Protocols Without Explicit
Consideration of Intruder", in Proceedings of 7th annual
CSI Computer Conference, CSICC-2002, Pages 518-527, Iran Telecommunication Research Center,
Tehran, Feb. 2002. [PDF in Persian] ·
B. Tork Ladani, S.
Jalili, "A Framework for Verification of Cryptographic
Protocols", in Proceedings of the First Iranian Society of
Cryptology Conference (ISCC01), Imam-Hussain University, Oct. 2001. [PDF in Persian] ·
B. Tork Ladani,
S. H. Mirian Hossein-abadi, "Specification of Cryptographic
Protocol Semantics Using Z Specification Language", in
Proceedings of 6th annual CSI Computer Conference, CSICC-2001, Pages 237-246,
University of Isfahan, March 2001. [PDF
in Persian] ·
B. Tork Ladani, B.
Sadeghian, " Mobayyen : A Tool for Specification and Analysis of
Authentication protocols", in Proceedings of 6th annual CSI
Computer Conference, CSICC-2001, Pages 247-258, University of Isfahan, March
2001. [PDF in Persian] ·
M. Khajooyi, M.
Shadjari, M. Nadjar-Bashi, B. Sadeghian, B. Tork Ladani and M. Bahrami,
"Advanced Domestic Firewall: Services, Protocols and High level
Design" ,in Proceedings of International Symposium on
Telecommunication, IST2001, Iran Telecommunication Research Center 2001. [PDF in English] ·
B. Tork Ladani, B.
Sadeghian," Automatization of Authentication protocol analysis
using BAN and GNY logic", 7th Iranian Conference on Electrical
Engineering, ICEE99, Iran Telecommunication Research Center, Tehran, May
1999. [PDF in Persian] ·
B. Tork Ladani, B.
Sadeghian, "Logic Analysis of Authentication Protocols",
in Proceedings of the First Symposium on Telecommunication Security,
Imam-Hussain University, March 1998. |
||
