Security of e-Systems and Computer Networks e-Based systems and computer networks are ubiquitous in the modern world, with applications spanning e-commerce, WLANs, healthcare and governmental organizations, among others. The secure transfer of information has therefore become a critical area of research, development, and investment. This book presents the fundamental concepts, tools, and protocols of e-based system and computer network security and its wide range of applications. The core areas of e-system and computer network security, such as authentication of users; system integrity; confidentiality of communication; availability of business service; and non-repudiation of transactions, are covered in detail. Throughout the book, the major trends, challenges, and applications of e-security are presented, with emphasis on public key infrastructure (PKI) systems, biometric-based security systems, trust management systems, and the e-service paradigm. Intrusion detection technologies, virtual private networks (VPNs), malware, WLANs security, and risk management are also discussed. Moreover, applications such as e-commerce, e-government, and e-service are all dealt with. Technically oriented with many practical examples, this book is an invaluable reference for practitioners in network and information security. It will also be of great interest to researchers and graduate students in electrical and computer engineering, telecommunication engineering, computer science, informatics, and system and software engineering. Moreover, the book can be used as a text for a graduate or senior undergraduate course in security of e-systems and computer networks, security of information systems, security of communication networks, or security of e-systems. Mo h a m m a d S. O ba i dat , recognized around the world for his pioneering and lasting contributions to several areas including networks and information security, is a Professor of

In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.

No abstract

No abstract

No abstract

No abstract

No abstract

In this paper we propose a novel cooperative bordersurveillance solution, composed of a Wireless Sensor Network (WSN) deployed terrestrially to detect and track trespassers, and a set of lightweight unmanned aircraft vehicles (UAVs) in the form of quadcopters that interact with the deployed WSN to improve the border surveillance, the detection and investigation of network failures, the maintenance of the sensor network, the tracking of trespasser, the capture and transmission of realtime video of the intrusion scene, and the response to hostage situations. A heuristic-based scheduling algorithm is described to optimize the tracking mission by increasing the rate of detected trespassers spotted by the quadcopters. Together with the design of the electrical, mechanical and software architecture of the proposed VTail quadcopter, we develop in this paper powerless techniques to accurately localize terrestrial sensors using RFID technology, compute the optimal positions of the new sensors to drop, relay data between isolated islands of nodes, and wake up sensors to track intruders. The developed VTail prototype is tested to provide valid and accurate parameters’ values to the simulation. The latter is conducted to evaluate the performance of the proposed WSN-based surveillance solution.