Results 291 to 300 of about 1,901,421 (313)
Some of the next articles are maybe not open access.
Modelling and Verification of Cryptographic Protocols
2005Special issue on Modelling and Verification of Cryptographic Protocols of the Journal of Logic and Algebraic ...
openaire +1 more source
Open issues in formal methods for cryptographic protocol analysis
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00, 2000C. Meadows
semanticscholar +1 more source
Generating formal cryptographic protocol specifications
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994U. Carlsen
semanticscholar +1 more source
Cryptographic protocol flaws: know your enemy
Proceedings The Computer Security Foundations Workshop VII, 1994U. Carlsen
semanticscholar +1 more source
A general phase-transfer protocol for metal ions and its application in nanocrystal synthesis
Nature Materials, 2009Edward H Sargent +2 more
exaly
A general protocol for the generation of Nanobodies for structural biology
Nature Protocols, 2014Els Pardon +2 more
exaly
A protocol for isolation and culture of mesenchymal stem cells from mouse bone marrow
Nature Protocols, 2009Masoud Soleimani, Samad Nadri
exaly
Protocol for the MPTP mouse model of Parkinson's disease
Nature Protocols, 2007Michelle Przedborski
exaly
The investigation of acute optic neuritis: a review and proposed protocol
Nature Reviews Neurology, 2014Axel Petzold +2 more
exaly