XTR

Results: 836



#Item
371Primality tests / Finite fields / Integer sequences / Modular arithmetic / AKS primality test / Prime number / XTR / Coprime / Primality certificate / Mathematics / Abstract algebra / Number theory

The Correctness of the AKS Primality Test in Coq∗ Fl´avio L. C. de Moura1 , Ricardo Tadeu1 1 Departamento de Ciˆencia da Computac¸a˜ o – Universidade de Bras´ılia (UnB) Caixa Postal 4466 – CEP[removed] – B

Add to Reading List

Source URL: www.cic.unb.br

Language: English - Date: 2008-08-12 14:42:17
372Burrows–Abadi–Needham logic / Needham–Schroeder protocol / Public-key cryptography / Cryptographic nonce / XTR / Deniable authentication / Security protocol notation / Wide Mouth Frog protocol / Cryptographic protocols / Cryptography / Data

NRL Release Number[removed]The Logic of Authentication Protocols ?

Add to Reading List

Source URL: www.nrl.navy.mil

Language: English - Date: 2013-04-29 11:09:46
373Parking / XTR

Why are parking hours changing? How will my money be spent? Over the last 10 years, drivers have expressed a lack of available

Add to Reading List

Source URL: www.downtownaustin.com

Language: English - Date: 2012-11-16 00:02:09
374Key management / Group Domain of Interpretation / Diffie–Hellman key exchange / Perfect forward secrecy / XTR / Key distribution / Internet Security Association and Key Management Protocol / IPsec / Cryptography / Cryptographic protocols / Public-key cryptography

NRL Release Number[removed]Formalizing GDOI Group Key Management Requirements in NPATRL ∗

Add to Reading List

Source URL: www.nrl.navy.mil

Language: English - Date: 2013-04-29 11:02:45
375Arithmetic / Binary arithmetic / Division / Finite fields / Q / XTR / Euclidean algorithm / Methods of computing square roots / Abstract algebra / Computer arithmetic / Mathematics

[removed]CH A P T E R 1 0 INTEGER DIVISION BY CONSTANTS Insert this material at the end of page 201, just before the poem on page 202.

Add to Reading List

Source URL: www.hackersdelight.org

Language: English - Date: 2004-08-05 22:36:11
376Computer security / XTR / Key size / Group key / Diffie–Hellman key exchange / Key distribution / Security / Key management / Cyberwarfare / Key distribution center

A Scalable Method for Access Control in Location-Based Broadcast Services Mudhakar Srivatsa† , Arun Iyengar† , Jian Yin‡ and Ling Liu‡ IBM T.J. Watson Research Center† College of Computing, Georgia Tech†

Add to Reading List

Source URL: www.cc.gatech.edu

Language: English - Date: 2008-03-08 00:23:57
377XTR / Quantum entanglement / Qubit / Quantum information science / Physics / Quantum teleportation

Generalized teleportation and entanglement recycling Sergii Strelchuk,1, ∗ Michał Horodecki,2 and Jonathan Oppenheim3 1 Department arXiv:1209.2683v2 [quant-ph] 13 Dec 2012

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-12-16 20:09:54
378Mathematical sciences / Computing / Mathematics / XTR / Circular buffer / Fluid queue

1 The Asymptotic Behavior of Minimum Buffer Size Requirements in Large P2P Streaming Networks† Srinivas Shakkottai, R. Srikant, and Lei Ying

Add to Reading List

Source URL: www.ece.tamu.edu

Language: English - Date: 2010-12-02 16:29:30
379OPTICS algorithm / DBSCAN / Quantum information science / Cluster analysis / XTR / Public-key cryptography / Secure multi-party computation / Communication complexity / Statistics / Cryptography / Applied mathematics

Privacy Preserving Distributed DBSCAN Clustering∗ Jinfei Liu Jun Luo University of Science and

Add to Reading List

Source URL: www.edbt.org

Language: English - Date: 2012-02-01 19:52:54
380Integer sequences / Algebraic number theory / Prime number / XTR / Transcendental numbers / Modular arithmetic / Liouville number / Binomial coefficient / Mathematics / Abstract algebra / Number theory

ACTA ARITHMETICA LXVII[removed]Sums of distinct squares by

Add to Reading List

Source URL: matwbn.icm.edu.pl

Language: English - Date: 2007-05-15 00:06:50
UPDATE