Network Security Technologies: Design and Applications: (Advances in Information Security, Privacy, and Ethics)

"This book presents theoretical frameworks and the latest research findings in network security technologies while analyzing malicious threats which can compromise network integrity"--

About the Author :
Abdelmalek Amine received an engineering degree in Computer Science from the Computer Science department of Djillali Liabes University of Sidi-Belabbes-Algeria, received the Magister diploma in Computational Science and PhD from Djillali Liabes University in collaboration with Joseph Fourier University of Grenoble. His research interests include data mining, text mining, ontology, classification, clustering, neural networks, and biomimetic optimization methods. He participates in the program committees of several international conferences and on the editorial boards of international journals. Dr. Amine is the head of GeCoDe-knowledge management and complex data-laboratory at UTM University of Saida, Algeria; he also collaborates with the “knowledge base and database” team of TIMC laboratory at Joseph Fourier University of Grenoble. Otmane Ait Mohamed received his Ph.D. (1996) in Computer Science from Université Henri Poincaré, Nancy 1. Before his arrival at Concordia in 2002, he worked as a Postdoctoral Fellow at Université de Montréal, a Research Scientist at Cistel, and a Senior Verification Engineer at Nortel Networks in Ottawa. Dr. Otmane Ait Mohamed was promoted to Associate Professor in the Department of Electrical and Computer Engineering in June 2008. Dr. Ait Mohamed has been working on formal verification for hardware and communication protocol since 1992. He contributed to the development of the MDG tool, a formal verification tool developed at the University of Montreal from 1996-1998. He joined Cistel Technology, then Nortel Networks, where he introduced the use of formal method techniques in the hardware design flow to identify critical issues in the protocols used in Nortel’s Virtual Processor Subsystems. His work with the verification team consisted of verifying four different ASICs used in the communication data switch. His main research areas include hardware model checking, assertion-based verification, automatic test generations, and FPGA-based design and verification. Since joining Concordia, Dr. Ait Mohamed has published more than 80 papers in refereed conference proceedings and 30 journal papers. He is the principal or co-investigator of several team grants from agencies such as NATEQ, MDEIE, and various companies. Dr. Ait Mohamed has supervised or co-supervised to completion 25 M.A.Sc. students, 4 Ph.D. students, and 2 postdoctoral Fellows. Dr. Ait Mohamed also served as a reviewer for several related conferences and journals, and he maintains collaborations with AMD, ST, Synopsys, Texas Instruments, and Qualcomm. Dr. Ait Mohamed was the program co-chair for the prestigious 21st TPHOLs conference in 2008. He is a registered professional engineer with the Ordre des ingénieurs du Québec , member of IEEE, and member of ACM. Boualem Benatallah received a PhD degree from Grenoble 1 University (France). He is professor and research group leader at the School of Computer Science (CSE), University of New South Wales (UNSW, Sydney, Australia). His main research interests are developing fundamental concepts and techniques in service composition, integration, and business processes management. He has published more than 170 refereed papers, including more than 40 journal papers. He has a very strong international track record demonstrated by the high citations of his work, some of which are considered seminal in the field of services composition. He also has strong collaboration with Industry including projects, consultancy, and patents. Boualem has been PC co-chair of number of international conferences (BPM'05, ICSOC'05, WISE'07, ICWE'2010, IEEE/ACM WI'11, IEEE SOCA'11). He is member of the steering committee of BPM and ICSOC. He is member of the editorial board of numerous international journals and series including Springer Series on Services Science. He is member of the steering committees of ICSOC and BPM. His recent work focuses is on digital services engineering and innovation.