SearchPublisher and Institutes
You are here: Home :: Keyword index :: DIC bis eth :: enclosing cylinder - endothelial nitric oxide synthase gene 
encryption
Items for "encryption"
New locations of intravascular tissue factor: Indications
Tissue factor (TF) is the major initiator of blood coagulation, and a mediator of inflammation, angiogenesis, and carcinogenesis...
Keywords: Tissue-Faktor, Gewebethromboplastin, Blutgerinnung, Enkryptierung, Aktivierung, Plättchen, Monozyten, Eosinophile, Neutrophile, Mikropartikel, intravasal, Entzündung
01/2007 | Hämostaseologie, SchattauerAnother look at automated theorem-proving
I examine the use of automated theorem-proving for reductionist security arguments in cryptography and discuss three papers that purport to show the potential of computer-assisted proof-writing and proof-checking...
Keywords: Automated theorem-proving, proof-checking, Public key cryptography, signatures, encryption
12/2007 | Mathematical Cryptology, Walter de Gruyter