Results 1 to 10 of about 1,722 (212)
Automated Security Protocol Analysis With the AVISPA Tool
Electronic Notes in Theoretical Computer Science, 2006 Electronic Notes in Theoretical Computer Science ...
Luca Vigano
exaly +5 more sources
AVISPA in the Validation of Ambient Intelligence Scenarios [PDF]
2009 International Conference on Availability, Reliability and Security, 2009 Unión Europea con los proyectos SERENITY (IST- 027587) y OKKAM (IST- 215032) y la Junta de Andalucía con el proyecto ...
Antonio Munoz, Antonio Mana
exaly +5 more sources
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications [PDF]
Lecture Notes in Computer Science, 2005 AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques.
Alessandro Armando +16 more
exaly +7 more sources
Fast handover authentication scheme in 5G mobile edge computing scenarios
网络与信息安全学报, 2022 The 5G internet of things brings the ultimate experience to users, but it also puts forward new challenges.Users’ requirements of ultra-low latency experience, access to business without sense during movement and security guarantee have attracted much ...
Weicheng ZHANG, Hongquan WEI, Shuxin LIU, Liming PU
doaj +1 more source
Revista Peruana de Biología, 2020 En el presente estudio se dan a conocer por primera vez, datos sobre la interacción entre ejemplares de avispas de la especie Epipompilus platensis Roig Alsina, 2017 (Hymenoptera, Pompilidae) y arañas de la especie Ariadna mollis (Holmberg 1876) (Araneae,
Cecilia Sofía Gabellone +2 more
doaj +1 more source
Sensors, 2020 The Industrial Internet of Things (IIoT) consists of sensors, networks, and services to connect and control production systems. Its benefits include supply chain monitoring and machine failure detection.
Evangelina Lara +3 more
doaj +1 more source
Applied Sciences, 2020 With the development in wireless communication and low-power device, users can receive various useful services such as electric vehicle (EV) charging, smart building, and smart home services at anytime and anywhere in smart grid (SG) environments. The SG
SungJin Yu +6 more
doaj +1 more source
Revista Chilena de Entomología, 2020 Se reporta por primera vez para el Ecuador, la presencia de Dinocampus coccinellae (Schrank, 1802) (Hymenoptera: Braconidae), avispa endoparasitoide cosmopolita que se especializa en parasitar especies de la familia Coccinellidae.
Pablo S. Padrón
doaj +1 more source
Security Property Validation of the Sensor Network Encryption Protocol (SNEP)
Computers, 2015 Since wireless sensor networks (WSNs) have been designed to be deployed in an unsecured, public environment, secured communication is really vital for their wide-spread use.
Salekul Islam
doaj +1 more source
IEEE Access, 2022 4G mobile communication is a global technology. Therefore, it is essential to enforce confidentiality between mobile users and their networks. This paper presents a Group Security Authentication and Key Agreement Protocol Built by Elliptic Curve Diffie ...
Karim H. Moussa +3 more
doaj +1 more source