Results 141 to 150 of about 656 (180)
Cloud assisted blockchain-enabled split federated learning framework for security and privacy-preserving of IoMT in healthcare 5.0. [PDF]
Sci RepBaihan A +5 more
europepmc +1 more source
Scalable privacy-preserving data analytics for IoMT via FHE and zk-SNARK-enabled edge aggregation. [PDF]
Sci RepBen Othman S, Mihret N.
europepmc +1 more source
Dickson polynomial-based secure group authentication scheme for Internet of Things. [PDF]
Sci RepSyed SA +6 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Security analysis of LMAP using AVISPA
International Journal of Security and Networks, 2014Radio-frequency identification RFID is an RFID tag based technology for providing automated identification of both objects and humans. RFID tags have numerous potential applications if a secured authentication and privacy could be provided. An RFID tag is interrogated by a reader to get the identity of the tag along with other information.
Salekul Islam
exaly +2 more sources
Automated Security Protocol Analysis With the AVISPA Tool
Electronic Notes in Theoretical Computer Science, 2006 Electronic Notes in Theoretical Computer Science ...
Luca Vigano
exaly +4 more sources
AVISPA: Towards Practical Verification of Communication Properties
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2009Abstract This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of ...
Miroslav Sveda
exaly +2 more sources
Formal Validation of OFEPSP+ with AVISPA
Lecture Notes in Computer Science, 2009Formal validation of security protocols is of utmost importance before they gain market or academic acceptance. In particular, the results obtained from the formal validation of the improved Optimistic Fair Exchange Protocol based on Signature Policies (OFEPSP+) are presented.
Ana Isabel González-Tablas
exaly +2 more sources
AVISPA in the Validation of Ambient Intelligence Scenarios
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 Mana Gomez, Antonio Munoz
exaly +4 more sources
Analyzing software process models with AVISPA
Proceedings of the 2011 International Conference on Software and Systems Process, 2011Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort, but once specified there are few approaches and even fewer tools that aid the process engineer to analyze the quality of the process.
Julio Ariel Hurtado Alegria +2 more
openaire +1 more source
AVISPA: a massively parallel reconfigurable accelerator
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2004Standards and market uncertainties, non-recurring engineering costs, and lack of access to (or knowledge of) application IP requires the next generation of embedded computing platforms to be fully programmable. In terms of silicon cost and power, practical yet fully programmable embedded computing platforms are enabled by reconfigurable accelerators ...
Jeroen A. J. Leijten +4 more
openaire +1 more source