Results 301 to 310 of about 1,901,421 (313)

Advanced method for cryptographic protocol verification

J. Comput. Methods Sci. Eng., 2006
Nabil El-Kadhi, H. El-Gendy
semanticscholar   +1 more source

A protocol for rapid generation of recombinant adenoviruses using the AdEasy system

Nature Protocols, 2007
Zhong-Liang Deng, Ni Tang, Bert Vogelstein   +2 more
exaly  

Cryptographic Protocol to Establish Trusted History of Interactions

European Workshop on Security in Ad-hoc and Sensor Networks, 2006
S. Galice, M. Minier, John Mullins, S. Ubéda   +3 more
semanticscholar   +1 more source

Efficacy and safety of a paired sedation and ventilator weaning protocol for mechanically ventilated patients in intensive care (Awakening and Breathing Controlled trial): a randomised controlled trial

Lancet, The, 2008
Timothy D Girard, William D Schweickert, Jennifer L Thompson   +2 more
exaly  

A cryptographic protocol to protect MPLS labels

IEEE Systems, Man and Cybernetics SocietyInformation Assurance Workshop, 2003., 2003
David A. Barlow, V. Vassiliou, H. Owen
semanticscholar   +1 more source

Childhood Cancer: Patterns of Protocol Participation in a National Survey

Ca-A Cancer Journal for Clinicians, 2001
exaly  

Invariant generation techniques in cryptographic protocol analysis

Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000
C. Meadows
semanticscholar   +1 more source

A protocol for isolation and culture of mesenchymal stem cells from mouse compact bone

Nature Protocols, 2010
Dingdingabc Zhu, Zi-Kuan Guo, Xiao-Xia Jiang   +2 more
exaly  

Using logics to detect implementation-dependent flaws [cryptographic protocol design]

Proceedings of 9th Annual Computer Security Applications Conference, 1993
U. Carlsen
semanticscholar   +1 more source

On Protocol-Independent Data Redundancy Elimination

IEEE Communications Surveys and Tutorials, 2014
Nirwan Ansari
exaly