Misplaced Pages

#992007

117-497: The main target applications of GMP are cryptography applications and research, Internet security applications, and computer algebra systems . GMP aims to be faster than any other bignum library for all operand sizes. Some important factors in doing this are: The first GMP release was made in 1991. It is constantly developed and maintained. GMP is part of the GNU project (although its website being off gnu.org may cause confusion), and

234-468: A chosen-plaintext attack , Eve may choose a plaintext and learn its corresponding ciphertext (perhaps many times); an example is gardening , used by the British during WWII. In a chosen-ciphertext attack , Eve may be able to choose ciphertexts and learn their corresponding plaintexts. Finally in a man-in-the-middle attack Eve gets in between Alice (the sender) and Bob (the recipient), accesses and modifies

351-428: A classical cipher (and some modern ciphers) will reveal statistical information about the plaintext, and that information can often be used to break the cipher. After the discovery of frequency analysis , nearly all such ciphers could be broken by an informed attacker. Such classical ciphers still enjoy popularity today, though mostly as puzzles (see cryptogram ). The Arab mathematician and polymath Al-Kindi wrote

468-721: A hypothesis . If a new theory better explains and predicts a phenomenon than an old theory (i.e., it has more explanatory power ), we are justified in believing that the newer theory describes reality more correctly. This is called an intertheoretic reduction because the terms of the old theory can be reduced to the terms of the new one. For instance, our historical understanding about sound , light and heat have been reduced to wave compressions and rarefactions , electromagnetic waves , and molecular kinetic energy , respectively. These terms, which are identified with each other, are called intertheoretic identities. When an old and new theory are parallel in this way, we can conclude that

585-518: A knowledge transfer where there is a task of translating research knowledge to be application in practice, and ensuring that practitioners are made aware of it. Academics have been criticized for not attempting to transfer the knowledge they produce to practitioners. Another framing supposes that theory and knowledge seek to understand different problems and model the world in different words (using different ontologies and epistemologies ). Another framing says that research does not produce theory that

702-624: A book on cryptography entitled Risalah fi Istikhraj al-Mu'amma ( Manuscript for the Deciphering Cryptographic Messages ), which described the first known use of frequency analysis cryptanalysis techniques. Language letter frequencies may offer little help for some extended historical encryption techniques such as homophonic cipher that tend to flatten the frequency distribution. For those ciphers, language letter group (or n-gram) frequencies may provide an attack. Essentially all ciphers remained vulnerable to cryptanalysis using

819-430: A cryptographic hash function is computed, and only the resulting hash is digitally signed. Cryptographic hash functions are functions that take a variable-length input and return a fixed-length output, which can be used in, for example, a digital signature. For a hash function to be secure, it must be difficult to compute two inputs that hash to the same value ( collision resistance ) and to compute an input that hashes to

936-419: A first step toward being tested or applied in a concrete situation; theorems are said to be true in the sense that the conclusions of a theorem are logical consequences of the axioms. Theories are abstract and conceptual, and are supported or challenged by observations in the world. They are ' rigorously tentative', meaning that they are proposed as true and expected to satisfy careful examination to account for

1053-413: A foundation to gain further scientific knowledge, as well as to accomplish goals such as inventing technology or curing diseases. The United States National Academy of Sciences defines scientific theories as follows: The formal scientific definition of "theory" is quite different from the everyday meaning of the word. It refers to a comprehensive explanation of some aspect of nature that is supported by

1170-507: A given output ( preimage resistance ). MD4 is a long-used hash function that is now broken; MD5 , a strengthened variant of MD4, is also widely used but broken in practice. The US National Security Agency developed the Secure Hash Algorithm series of MD5-like hash functions: SHA-0 was a flawed algorithm that the agency withdrew; SHA-1 is widely deployed and more secure than MD5, but cryptanalysts have identified attacks against it;

1287-435: A given subject matter. There are theories in many and varied fields of study, including the arts and sciences. A formal theory is syntactic in nature and is only meaningful when given a semantic component by applying it to some content (e.g., facts and relationships of the actual historical world as it is unfolding). Theories in various fields of study are often expressed in natural language , but can be constructed in such

SECTION 10

#1733085311993

1404-486: A good cipher to maintain confidentiality under an attack. This fundamental principle was first explicitly stated in 1883 by Auguste Kerckhoffs and is generally called Kerckhoffs's Principle ; alternatively and more bluntly, it was restated by Claude Shannon , the inventor of information theory and the fundamentals of theoretical cryptography, as Shannon's Maxim —'the enemy knows the system'. Different physical devices and aids have been used to assist with ciphers. One of

1521-428: A hashed output that cannot be used to retrieve the original input data. Cryptographic hash functions are used to verify the authenticity of data retrieved from an untrusted source or to add a layer of security. Symmetric-key cryptosystems use the same key for encryption and decryption of a message, although a message or group of messages can have a different key than others. A significant disadvantage of symmetric ciphers

1638-440: A keystream (in place of a Pseudorandom number generator ) and applying an XOR operation to each bit of the plaintext with each bit of the keystream. Message authentication codes (MACs) are much like cryptographic hash functions , except that a secret key can be used to authenticate the hash value upon receipt; this additional complication blocks an attack scheme against bare digest algorithms , and so has been thought worth

1755-414: A more specific meaning: the replacement of a unit of plaintext (i.e., a meaningful word or phrase) with a code word (for example, "wallaby" replaces "attack at dawn"). A cypher, in contrast, is a scheme for changing or substituting an element below such a level (a letter, a syllable, or a pair of letters, etc.) to produce a cyphertext. Cryptanalysis is the term used for the study of methods for obtaining

1872-447: A recursively enumerable set) in which the concept of natural numbers can be expressed, can include all true statements about them. As a result, some domains of knowledge cannot be formalized, accurately and completely, as mathematical theories. (Here, formalizing accurately and completely means that all true propositions—and only true propositions—are derivable within the mathematical system.) This limitation, however, in no way precludes

1989-476: A secret key is used to process the message (or a hash of the message, or both), and one for verification , in which the matching public key is used with the message to check the validity of the signature. RSA and DSA are two of the most popular digital signature schemes. Digital signatures are central to the operation of public key infrastructures and many network security schemes (e.g., SSL/TLS , many VPNs , etc.). Public-key algorithms are most often based on

2106-516: A security perspective to develop a new standard to "significantly improve the robustness of NIST 's overall hash algorithm toolkit." Thus, a hash function design competition was meant to select a new U.S. national standard, to be called SHA-3 , by 2012. The competition ended on October 2, 2012, when the NIST announced that Keccak would be the new SHA-3 hash algorithm. Unlike block and stream ciphers that are invertible, cryptographic hash functions produce

2223-464: A shared secret key. In practice, asymmetric systems are used to first exchange a secret key, and then secure communication proceeds via a more efficient symmetric system using that key. Examples of asymmetric systems include Diffie–Hellman key exchange , RSA ( Rivest–Shamir–Adleman ), ECC ( Elliptic Curve Cryptography ), and Post-quantum cryptography . Secure symmetric algorithms include the commonly used AES ( Advanced Encryption Standard ) which replaced

2340-437: A single textbook. In mathematical logic , a theory has a related but different sense: it is the collection of the theorems that can be deduced from a given set of axioms , given a given set of inference rules . A theory can be either descriptive as in science, or prescriptive ( normative ) as in philosophy. The latter are those whose subject matter consists not of empirical data, but rather of ideas . At least some of

2457-552: A small set of basic postulates (usually symmetries, like equality of locations in space or in time, or identity of electrons, etc.)—which is capable of producing experimental predictions for a given category of physical systems. One good example is classical electromagnetism , which encompasses results derived from gauge symmetry (sometimes called gauge invariance) in a form of a few equations called Maxwell's equations . The specific mathematical aspects of classical electromagnetic theory are termed "laws of electromagnetism", reflecting

SECTION 20

#1733085311993

2574-406: A story by Edgar Allan Poe . Until modern times, cryptography referred almost exclusively to "encryption", which is the process of converting ordinary information (called plaintext ) into an unintelligible form (called ciphertext ). Decryption is the reverse, in other words, moving from the unintelligible ciphertext back to plaintext. A cipher (or cypher) is a pair of algorithms that carry out

2691-588: A stream cipher. The Data Encryption Standard (DES) and the Advanced Encryption Standard (AES) are block cipher designs that have been designated cryptography standards by the US government (though DES's designation was finally withdrawn after the AES was adopted). Despite its deprecation as an official standard, DES (especially its still-approved and much more secure triple-DES variant) remains quite popular; it

2808-474: A technical term in philosophy in Ancient Greek . As an everyday word, theoria , θεωρία , meant "looking at, viewing, beholding", but in more technical contexts it came to refer to contemplative or speculative understandings of natural things , such as those of natural philosophers , as opposed to more practical ways of knowing things, like that of skilled orators or artisans. English-speakers have used

2925-403: A theory of heat as energy replaced it. Also, the theory that phlogiston is a substance released from burning and rusting material was eliminated with the new understanding of the reactivity of oxygen. Theories are distinct from theorems . A theorem is derived deductively from axioms (basic assumptions) according to a formal system of rules, sometimes as an end in itself and sometimes as

3042-404: A theory's content is based on some formal system of logic and on basic axioms . In a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory. This is called the received view of theories . In the semantic view of theories , which has largely replaced the received view, theories are viewed as scientific models . A model

3159-544: A vast body of evidence. Many scientific theories are so well established that no new evidence is likely to alter them substantially. For example, no new evidence will demonstrate that the Earth does not orbit around the sun (heliocentric theory), or that living things are not made of cells (cell theory), that matter is not composed of atoms, or that the surface of the Earth is not divided into solid plates that have moved over geological timescales (the theory of plate tectonics) ... One of

3276-419: A way that their general form is identical to a theory as it is expressed in the formal language of mathematical logic . Theories may be expressed mathematically, symbolically, or in common language, but are generally expected to follow principles of rational thought or logic . Theory is constructed of a set of sentences that are thought to be true statements about the subject under consideration. However,

3393-465: A wide variety of cryptanalytic attacks, and they can be classified in any of several ways. A common distinction turns on what Eve (an attacker) knows and what capabilities are available. In a ciphertext-only attack , Eve has access only to the ciphertext (good modern cryptosystems are usually effectively immune to ciphertext-only attacks). In a known-plaintext attack , Eve has access to a ciphertext and its corresponding plaintext (or to many such pairs). In

3510-446: A widely used tool in communications, computer networks , and computer security generally. Some modern cryptographic techniques can only keep their keys secret if certain mathematical problems are intractable , such as the integer factorization or the discrete logarithm problems, so there are deep connections with abstract mathematics . There are very few cryptosystems that are proven to be unconditionally secure. The one-time pad

3627-569: Is a rational type of abstract thinking about a phenomenon , or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be scientific , belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek , but in modern use it has taken on several related meanings. In modern science,

GNU Multiple Precision Arithmetic Library - Misplaced Pages Continue

3744-421: Is a logical framework intended to represent reality (a "model of reality"), similar to the way that a map is a graphical model that represents the territory of a city or country. In this approach, theories are a specific category of models that fulfill the necessary criteria. (See Theories as models for further discussion.) In physics the term theory is generally used for a mathematical framework—derived from

3861-526: Is a statement that can be derived from those axioms by application of these rules of inference. Theories used in applications are abstractions of observed phenomena and the resulting theorems provide solutions to real-world problems. Obvious examples include arithmetic (abstracting concepts of number), geometry (concepts of space), and probability (concepts of randomness and likelihood). Gödel's incompleteness theorem shows that no consistent, recursively enumerable theory (that is, one whose theorems form

3978-417: Is also active research examining the relationship between cryptographic problems and quantum physics . Just as the development of digital computers and electronics helped in cryptanalysis, it made possible much more complex ciphers. Furthermore, computers allowed for the encryption of any kind of data representable in any binary format, unlike classical ciphers which only encrypted written language texts; this

4095-493: Is also widely used but broken in practice. The US National Security Agency developed the Secure Hash Algorithm series of MD5-like hash functions: SHA-0 was a flawed algorithm that the agency withdrew; SHA-1 is widely deployed and more secure than MD5, but cryptanalysts have identified attacks against it; the SHA-2 family improves on SHA-1, but is vulnerable to clashes as of 2011; and the US standards authority thought it "prudent" from

4212-408: Is beyond the ability of any adversary. This means it must be shown that no efficient method (as opposed to the time-consuming brute force method) can be found to break the cipher. Since no such proof has been found to date, the one-time-pad remains the only theoretically unbreakable cipher. Although well-implemented one-time-pad encryption cannot be broken, traffic analysis is still possible. There are

4329-443: Is called cryptolinguistics . Cryptolingusitics is especially used in military intelligence applications for deciphering foreign communications. Before the modern era, cryptography focused on message confidentiality (i.e., encryption)—conversion of messages from a comprehensible form into an incomprehensible one and back again at the other end, rendering it unreadable by interceptors or eavesdroppers without secret knowledge (namely

4446-648: Is claimed to have developed the Diffie–Hellman key exchange. Public-key cryptography is also used for implementing digital signature schemes. A digital signature is reminiscent of an ordinary signature; they both have the characteristic of being easy for a user to produce, but difficult for anyone else to forge . Digital signatures can also be permanently tied to the content of the message being signed; they cannot then be 'moved' from one document to another, for any attempt will be detectable. In digital signature schemes, there are two algorithms: one for signing , in which

4563-399: Is combined with the plaintext bit-by-bit or character-by-character, somewhat like the one-time pad . In a stream cipher, the output stream is created based on a hidden internal state that changes as the cipher operates. That internal state is initially set up using the secret key material. RC4 is a widely used stream cipher. Block ciphers can be used as stream ciphers by generating blocks of

4680-707: Is distributed under the GNU Lesser General Public License (LGPL). GMP is used for integer arithmetic in many computer algebra systems such as Mathematica and Maple . It is also used in the Computational Geometry Algorithms Library (CGAL). GMP is needed to build the GNU Compiler Collection (GCC). Here is an example of C code showing the use of the GMP library to multiply and print large numbers: This code calculates

4797-560: Is impossible; it is quite unusable in practice. The discrete logarithm problem is the basis for believing some other cryptosystems are secure, and again, there are related, less practical systems that are provably secure relative to the solvability or insolvability discrete log problem. As well as being aware of cryptographic history, cryptographic algorithm and system designers must also sensibly consider probable future developments while working on their designs. For instance, continuous improvements in computer processing power have increased

GNU Multiple Precision Arithmetic Library - Misplaced Pages Continue

4914-617: Is one, and was proven to be so by Claude Shannon. There are a few important algorithms that have been proven secure under certain assumptions. For example, the infeasibility of factoring extremely large integers is the basis for believing that RSA is secure, and some other systems, but even so, proof of unbreakability is unavailable since the underlying mathematical problem remains open. In practice, these are widely used, and are believed unbreakable in practice by most competent observers. There are systems similar to RSA, such as one by Michael O. Rabin that are provably secure provided factoring n = pq

5031-733: Is relatively recent, beginning in the mid-1970s. In the early 1970s IBM personnel designed the Data Encryption Standard (DES) algorithm that became the first federal government cryptography standard in the United States. In 1976 Whitfield Diffie and Martin Hellman published the Diffie–Hellman key exchange algorithm. In 1977 the RSA algorithm was published in Martin Gardner 's Scientific American column. Since then, cryptography has become

5148-490: Is relevant to practice. In the context of management, Van de Van and Johnson propose a form of engaged scholarship where scholars examine problems that occur in practice, in an interdisciplinary fashion, producing results that create both new practical results as well as new theoretical models, but targeting theoretical results shared in an academic fashion. They use a metaphor of "arbitrage" of ideas between disciplines, distinguishing it from collaboration. In science,

5265-454: Is the key management necessary to use them securely. Each distinct pair of communicating parties must, ideally, share a different key, and perhaps for each ciphertext exchanged as well. The number of keys required increases as the square of the number of network members, which very quickly requires complex key management schemes to keep them all consistent and secret. In a groundbreaking 1976 paper, Whitfield Diffie and Martin Hellman proposed

5382-827: Is the practice and study of techniques for secure communication in the presence of adversarial behavior. More generally, cryptography is about constructing and analyzing protocols that prevent third parties or the public from reading private messages. Modern cryptography exists at the intersection of the disciplines of mathematics, computer science , information security , electrical engineering , digital signal processing , physics, and others. Core concepts related to information security ( data confidentiality , data integrity , authentication , and non-repudiation ) are also central to cryptography. Practical applications of cryptography include electronic commerce , chip-based payment cards , digital currencies , computer passwords , and military communications . Cryptography prior to

5499-499: Is theoretically possible to break into a well-designed system, it is infeasible in actual practice to do so. Such schemes, if well designed, are therefore termed "computationally secure". Theoretical advances (e.g., improvements in integer factorization algorithms) and faster computing technology require these designs to be continually reevaluated and, if necessary, adapted. Information-theoretically secure schemes that provably cannot be broken even with unlimited computing power, such as

5616-439: Is to find some weakness or insecurity in a cryptographic scheme, thus permitting its subversion or evasion. It is a common misconception that every encryption method can be broken. In connection with his WWII work at Bell Labs , Claude Shannon proved that the one-time pad cipher is unbreakable, provided the key material is truly random , never reused, kept secret from all possible attackers, and of equal or greater length than

5733-434: Is typically the case that use of a quality cipher is very efficient (i.e., fast and requiring few resources, such as memory or CPU capability), while breaking it requires an effort many orders of magnitude larger, and vastly larger than that required for any classical cipher, making cryptanalysis so inefficient and impractical as to be effectively impossible. Symmetric-key cryptography refers to encryption methods in which both

5850-709: Is under the theory. Sometimes two theories have exactly the same explanatory power because they make the same predictions. A pair of such theories is called indistinguishable or observationally equivalent , and the choice between them reduces to convenience or philosophical preference. The form of theories is studied formally in mathematical logic, especially in model theory . When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under application of certain procedures called rules of inference . A special case of this, an axiomatic theory, consists of axioms (or axiom schemata) and rules of inference. A theorem

5967-419: Is used across a wide range of applications, from ATM encryption to e-mail privacy and secure remote access . Many other block ciphers have been designed and released, with considerable variation in quality. Many, even some designed by capable practitioners, have been thoroughly broken, such as FEAL . Stream ciphers, in contrast to the 'block' type, create an arbitrarily long stream of key material, which

SECTION 50

#1733085311993

6084-572: The Greek language . In the book From Religion to Philosophy , Francis Cornford suggests that the Orphics used the word theoria to mean "passionate sympathetic contemplation". Pythagoras changed the word to mean "the passionless contemplation of rational, unchanging truth" of mathematical knowledge, because he considered this intellectual pursuit the way to reach the highest plane of existence. Pythagoras emphasized subduing emotions and bodily desires to help

6201-442: The SHA-2 family improves on SHA-1, but is vulnerable to clashes as of 2011; and the US standards authority thought it "prudent" from a security perspective to develop a new standard to "significantly improve the robustness of NIST 's overall hash algorithm toolkit." Thus, a hash function design competition was meant to select a new U.S. national standard, to be called SHA-3 , by 2012. The competition ended on October 2, 2012, when

6318-557: The computational complexity of "hard" problems, often from number theory . For example, the hardness of RSA is related to the integer factorization problem, while Diffie–Hellman and DSA are related to the discrete logarithm problem. The security of elliptic curve cryptography is based on number theoretic problems involving elliptic curves . Because of the difficulty of the underlying problems, most public-key algorithms involve operations such as modular multiplication and exponentiation, which are much more computationally expensive than

6435-501: The one-time pad , are much more difficult to use in practice than the best theoretically breakable but computationally secure schemes. The growth of cryptographic technology has raised a number of legal issues in the Information Age . Cryptography's potential for use as a tool for espionage and sedition has led many governments to classify it as a weapon and to limit or even prohibit its use and export. In some jurisdictions where

6552-619: The rāz-saharīya which was used to communicate secret messages with other countries. David Kahn notes in The Codebreakers that modern cryptology originated among the Arabs , the first people to systematically document cryptanalytic methods. Al-Khalil (717–786) wrote the Book of Cryptographic Messages , which contains the first use of permutations and combinations to list all possible Arabic words with and without vowels. Ciphertexts produced by

6669-550: The 20th century, and several patented, among them rotor machines —famously including the Enigma machine used by the German government and military from the late 1920s and during World War II . The ciphers implemented by better quality examples of these machine designs brought about a substantial increase in cryptanalytic difficulty after WWI. Cryptanalysis of the new mechanical ciphering devices proved to be both difficult and laborious. In

6786-488: The Government Communications Headquarters ( GCHQ ), a British intelligence organization, revealed that cryptographers at GCHQ had anticipated several academic developments. Reportedly, around 1970, James H. Ellis had conceived the principles of asymmetric key cryptography. In 1973, Clifford Cocks invented a solution that was very similar in design rationale to RSA. In 1974, Malcolm J. Williamson

6903-567: The Kautiliyam, the cipher letter substitutions are based on phonetic relations, such as vowels becoming consonants. In the Mulavediya, the cipher alphabet consists of pairing letters and using the reciprocal ones. In Sassanid Persia , there were two secret scripts, according to the Muslim author Ibn al-Nadim : the šāh-dabīrīya (literally "King's script") which was used for official correspondence, and

7020-402: The NIST announced that Keccak would be the new SHA-3 hash algorithm. Unlike block and stream ciphers that are invertible, cryptographic hash functions produce a hashed output that cannot be used to retrieve the original input data. Cryptographic hash functions are used to verify the authenticity of data retrieved from an untrusted source or to add a layer of security. The goal of cryptanalysis

7137-642: The United Kingdom, cryptanalytic efforts at Bletchley Park during WWII spurred the development of more efficient means for carrying out repetitive tasks, such as military code breaking (decryption) . This culminated in the development of the Colossus , the world's first fully electronic, digital, programmable computer, which assisted in the decryption of ciphers generated by the German Army's Lorenz SZ40/42 machine. Extensive open academic research into cryptography

SECTION 60

#1733085311993

7254-564: The aims are different. Theoretical contemplation considers things humans do not move or change, such as nature , so it has no human aim apart from itself and the knowledge it helps create. On the other hand, praxis involves thinking, but always with an aim to desired actions, whereby humans cause change or movement themselves for their own ends. Any human movement that involves no conscious choice and thinking could not be an example of praxis or doing. Theories are analytical tools for understanding , explaining , and making predictions about

7371-469: The amusement of literate observers rather than as a way of concealing information. The Greeks of Classical times are said to have known of ciphers (e.g., the scytale transposition cipher claimed to have been used by the Spartan military). Steganography (i.e., hiding even the existence of a message so as to keep it confidential) was also first developed in ancient times. An early example, from Herodotus ,

7488-414: The axioms of that field. Some commonly known examples include set theory and number theory ; however literary theory , critical theory , and music theory are also of the same form. One form of philosophical theory is a metatheory or meta-theory . A metatheory is a theory whose subject matter is some other theory or set of theories. In other words, it is a theory about theories. Statements made in

7605-453: The combined study of cryptography and cryptanalysis. English is more flexible than several other languages in which "cryptology" (done by cryptologists) is always used in the second sense above. RFC   2828 advises that steganography is sometimes included in cryptology. The study of characteristics of languages that have some application in cryptography or cryptology (e.g. frequency data, letter combinations, universal patterns, etc.)

7722-436: The construction of mathematical theories that formalize large bodies of scientific knowledge. A theory is underdetermined (also called indeterminacy of data to theory ) if a rival, inconsistent theory is at least as consistent with the evidence. Underdetermination is an epistemological issue about the relation of evidence to conclusions. A theory that lacks supporting evidence is generally, more properly, referred to as

7839-428: The cryptanalytically uninformed. It was finally explicitly recognized in the 19th century that secrecy of a cipher's algorithm is not a sensible nor practical safeguard of message security; in fact, it was further realized that any adequate cryptographic scheme (including ciphers) should remain secure even if the adversary fully understands the cipher algorithm itself. Security of the key used should alone be sufficient for

7956-451: The discipline of medicine: medical theory involves trying to understand the causes and nature of health and sickness, while the practical side of medicine is trying to make people healthy. These two things are related but can be independent, because it is possible to research health and sickness without curing specific patients, and it is possible to cure a patient without knowing how the cure worked. The English word theory derives from

8073-650: The earliest may have been the scytale of ancient Greece, a rod supposedly used by the Spartans as an aid for a transposition cipher. In medieval times, other aids were invented such as the cipher grille , which was also used for a kind of steganography. With the invention of polyalphabetic ciphers came more sophisticated aids such as Alberti's own cipher disk , Johannes Trithemius ' tabula recta scheme, and Thomas Jefferson 's wheel cypher (not publicly known, and reinvented independently by Bazeries around 1900). Many mechanical encryption/decryption devices were invented early in

8190-612: The early 20th century, cryptography was mainly concerned with linguistic and lexicographic patterns. Since then cryptography has broadened in scope, and now makes extensive use of mathematical subdisciplines, including information theory, computational complexity , statistics, combinatorics , abstract algebra , number theory , and finite mathematics . Cryptography is also a branch of engineering, but an unusual one since it deals with active, intelligent, and malevolent opposition; other kinds of engineering (e.g., civil or chemical engineering) need deal only with neutral natural forces. There

8307-409: The effort. Cryptographic hash functions are a third type of cryptographic algorithm. They take a message of any length as input, and output a short, fixed-length hash , which can be used in (for example) a digital signature. For good hash functions, an attacker cannot find two messages that produce the same hash. MD4 is a long-used hash function that is now broken; MD5 , a strengthened variant of MD4,

8424-400: The elementary theorems of a philosophical theory are statements whose truth cannot necessarily be scientifically tested through empirical observation . A field of study is sometimes named a "theory" because its basis is some initial set of assumptions describing the field's approach to the subject. These assumptions are the elementary theorems of the particular theory, and can be thought of as

8541-549: The encryption and decryption algorithms that correspond to each key. Keys are important both formally and in actual practice, as ciphers without variable keys can be trivially broken with only the knowledge of the cipher used and are therefore useless (or even counter-productive) for most purposes. Historically, ciphers were often used directly for encryption or decryption without additional procedures such as authentication or integrity checks. There are two main types of cryptosystems: symmetric and asymmetric . In symmetric systems,

8658-506: The encryption and the reversing decryption. The detailed operation of a cipher is controlled both by the algorithm and, in each instance, by a "key". The key is a secret (ideally known only to the communicants), usually a string of characters (ideally short so it can be remembered by the user), which is needed to decrypt the ciphertext. In formal mathematical terms, a " cryptosystem " is the ordered list of elements of finite possible plaintexts, finite possible cyphertexts, finite possible keys, and

8775-481: The field since polyalphabetic substitution emerged in the Renaissance". In public-key cryptosystems, the public key may be freely distributed, while its paired private key must remain secret. In a public-key encryption system, the public key is used for encryption, while the private or secret key is used for decryption. While Diffie and Hellman could not find such a system, they showed that public-key cryptography

8892-406: The foundations of modern cryptography and provided a mathematical basis for future cryptography. His 1949 paper has been noted as having provided a "solid theoretical basis for cryptography and for cryptanalysis", and as having turned cryptography from an "art to a science". As a result of his contributions and work, he has been described as the "founding father of modern cryptography". Prior to

9009-415: The frequency analysis technique until the development of the polyalphabetic cipher , most clearly by Leon Battista Alberti around the year 1467, though there is some indication that it was already known to Al-Kindi. Alberti's innovation was to use different ciphers (i.e., substitution alphabets) for various parts of a message (perhaps for each successive plaintext letter at the limit). He also invented what

9126-443: The intellect function at the higher plane of theory. Thus, it was Pythagoras who gave the word theory the specific meaning that led to the classical and modern concept of a distinction between theory (as uninvolved, neutral thinking) and practice. Aristotle's terminology, as already mentioned, contrasts theory with praxis or practice, and this contrast exists till today. For Aristotle, both practice and theory involve thinking, but

9243-497: The key needed for decryption of that message). Encryption attempted to ensure secrecy in communications, such as those of spies , military leaders, and diplomats. In recent decades, the field has expanded beyond confidentiality concerns to include techniques for message integrity checking, sender/receiver identity authentication, digital signatures , interactive proofs and secure computation , among others. The main classical cipher types are transposition ciphers , which rearrange

9360-650: The level of consistent and reproducible evidence that supports them. Within electromagnetic theory generally, there are numerous hypotheses about how electromagnetism applies to specific situations. Many of these hypotheses are already considered adequately tested, with new ones always in the making and perhaps untested. Certain tests may be infeasible or technically difficult. As a result, theories may make predictions that have not been confirmed or proven incorrect. These predictions may be described informally as "theoretical". They can be tested later, and if they are incorrect, this may lead to revision, invalidation, or rejection of

9477-488: The meaning of encrypted information without access to the key normally required to do so; i.e., it is the study of how to "crack" encryption algorithms or their implementations. Some use the terms "cryptography" and "cryptology" interchangeably in English, while others (including US military practice generally) use "cryptography" to refer specifically to the use and practice of cryptographic techniques and "cryptology" to refer to

9594-457: The message. Most ciphers , apart from the one-time pad, can be broken with enough computational effort by brute force attack , but the amount of effort needed may be exponentially dependent on the key size, as compared to the effort needed to make use of the cipher. In such cases, effective security could be achieved if it is proven that the effort required (i.e., "work factor", in Shannon's terms)

9711-446: The metatheory about the theory are called metatheorems . A political theory is an ethical theory about the law and government. Often the term "political theory" refers to a general view, or specific ethic, political belief or attitude, thought about politics. In social science, jurisprudence is the philosophical theory of law. Contemporary philosophy of law addresses problems internal to law and legal systems, and problems of law as

9828-417: The modern age was effectively synonymous with encryption , converting readable information ( plaintext ) to unintelligible nonsense text ( ciphertext ), which can only be read by reversing the process ( decryption ). The sender of an encrypted (coded) message shares the decryption (decoding) technique only with the intended recipients to preclude access from adversaries. The cryptography literature often uses

9945-436: The most reliable, rigorous, and comprehensive form of scientific knowledge, in contrast to more common uses of the word "theory" that imply that something is unproven or speculative (which in formal terms is better characterized by the word hypothesis ). Scientific theories are distinguished from hypotheses, which are individual empirically testable conjectures , and from scientific laws , which are descriptive accounts of

10062-607: The most useful properties of scientific theories is that they can be used to make predictions about natural events or phenomena that have not yet been observed. From the American Association for the Advancement of Science : A scientific theory is a well-substantiated explanation of some aspect of the natural world, based on a body of facts that have been repeatedly confirmed through observation and experiment. Such fact-supported theories are not "guesses" but reliable accounts of

10179-674: The names "Alice" (or "A") for the sender, "Bob" (or "B") for the intended recipient, and "Eve" (or "E") for the eavesdropping adversary. Since the development of rotor cipher machines in World War ;I and the advent of computers in World War II , cryptography methods have become increasingly complex and their applications more varied. Modern cryptography is heavily based on mathematical theory and computer science practice; cryptographic algorithms are designed around computational hardness assumptions , making such algorithms hard to break in actual practice by any adversary. While it

10296-411: The new one describes the same reality, only more completely. When a new theory uses new terms that do not reduce to terms of an older theory, but rather replace them because they misrepresent reality, it is called an intertheoretic elimination. For instance, the obsolete scientific theory that put forward an understanding of heat transfer in terms of the movement of caloric fluid was eliminated when

10413-553: The notion of public-key (also, more generally, called asymmetric key ) cryptography in which two different but mathematically related keys are used—a public key and a private key. A public key system is so constructed that calculation of one key (the 'private key') is computationally infeasible from the other (the 'public key'), even though they are necessarily related. Instead, both keys are generated secretly, as an interrelated pair. The historian David Kahn described public-key cryptography as "the most revolutionary new concept in

10530-448: The older DES ( Data Encryption Standard ). Insecure symmetric algorithms include children's language tangling schemes such as Pig Latin or other cant , and all historical cryptographic schemes, however seriously intended, prior to the invention of the one-time pad early in the 20th century. In colloquial use, the term " code " is often used to mean any method of encryption or concealment of meaning. However, in cryptography, code has

10647-432: The only ones known until the 1970s, the same secret key encrypts and decrypts a message. Data manipulation in symmetric systems is significantly faster than in asymmetric systems. Asymmetric systems use a "public key" to encrypt a message and a related "private key" to decrypt it. The advantage of asymmetric systems is that the public key can be freely published, allowing parties to establish secure communication without having

10764-539: The order of letters in a message (e.g., 'hello world' becomes 'ehlol owrdl' in a trivially simple rearrangement scheme), and substitution ciphers , which systematically replace letters or groups of letters with other letters or groups of letters (e.g., 'fly at once' becomes 'gmz bu podf' by replacing each letter with the one following it in the Latin alphabet ). Simple versions of either have never offered much confidentiality from enterprising opponents. An early substitution cipher

10881-400: The possibility of faulty inference or incorrect observation. Sometimes theories are incorrect, meaning that an explicit set of observations contradicts some fundamental objection or application of the theory, but more often theories are corrected to conform to new observations, by restricting the class of phenomena the theory applies to or changing the assertions made. An example of the former is

10998-406: The possible keys, to reach a point at which chances are better than even that the key sought will have been found. But this may not be enough assurance; a linear cryptanalysis attack against DES requires 2 known plaintexts (with their corresponding ciphertexts) and approximately 2 DES operations. This is a considerable improvement over brute force attacks. Mathematical theory A theory

11115-517: The real world. The theory of biological evolution is more than "just a theory." It is as factual an explanation of the universe as the atomic theory of matter or the germ theory of disease. Our understanding of gravity is still a work in progress. But the phenomenon of gravity, like evolution, is an accepted fact. The term theory is not appropriate for describing scientific models or untested, but intricate hypotheses. The logical positivists thought of scientific theories as deductive theories —that

11232-432: The restriction of classical mechanics to phenomena involving macroscopic length scales and particle speeds much lower than the speed of light. Theory is often distinguished from practice or praxis. The question of whether theoretical models of work are relevant to work itself is of interest to scholars of professions such as medicine, engineering, law, and management. The gap between theory and practice has been framed as

11349-551: The scope of brute-force attacks , so when specifying key lengths , the required key lengths are similarly advancing. The potential impact of quantum computing are already being considered by some cryptographic system designers developing post-quantum cryptography. The announced imminence of small implementations of these machines may be making the need for preemptive caution rather more than merely speculative. Claude Shannon 's two papers, his 1948 paper on information theory , and especially his 1949 paper on cryptography, laid

11466-410: The sender and receiver share the same key (or, less commonly, in which their keys are different, but related in an easily computable way). This was the only kind of encryption publicly known until June 1976. Symmetric key ciphers are implemented as either block ciphers or stream ciphers . A block cipher enciphers input in blocks of plaintext as opposed to individual characters, the input form used by

11583-448: The speaker did not experience or test before. In science, this same concept is referred to as a hypothesis , and the word "hypothetically" is used both inside and outside of science. In its usage outside of science, the word "theory" is very often contrasted to " practice " (from Greek praxis , πρᾶξις) a Greek term for doing , which is opposed to theory. A "classical example" of the distinction between "theoretical" and "practical" uses

11700-412: The techniques used in most block ciphers, especially with typical key sizes. As a result, public-key cryptosystems are commonly hybrid cryptosystems , in which a fast high-quality symmetric-key encryption algorithm is used for the message itself, while the relevant symmetric key is sent with the message, but encrypted using a public-key algorithm. Similarly, hybrid signature schemes are often used, in which

11817-409: The term "theory" refers to scientific theories , a well-confirmed type of explanation of nature , made in a way consistent with the scientific method , and fulfilling the criteria required by modern science . Such theories are described in such a way that scientific tests should be able to provide empirical support for it, or empirical contradiction (" falsify ") of it. Scientific theories are

11934-416: The term "theory" refers to "a well-substantiated explanation of some aspect of the natural world, based on a body of facts that have been repeatedly confirmed through observation and experiment." Theories must also meet further requirements, such as the ability to make falsifiable predictions with consistent accuracy across a broad area of scientific inquiry, and production of strong evidence in favor of

12051-497: The theory from multiple independent sources ( consilience ). The strength of a scientific theory is related to the diversity of phenomena it can explain, which is measured by its ability to make falsifiable predictions with respect to those phenomena. Theories are improved (or replaced by better theories) as more evidence is gathered, so that accuracy in prediction improves over time; this increased accuracy corresponds to an increase in scientific knowledge. Scientists use theories as

12168-557: The theory. In mathematics, the term theory is used differently than its use in science ─ necessarily so, since mathematics contains no explanations of natural phenomena per se , even though it may help provide insight into natural systems or be inspired by them. In the general sense, a mathematical theory is a branch of mathematics devoted to some specific topics or methods, such as set theory , number theory , group theory , probability theory , game theory , control theory , perturbation theory , etc., such as might be appropriate for

12285-508: The traffic and then forward it to the recipient. Also important, often overwhelmingly so, are mistakes (generally in the design or use of one of the protocols involved). Cryptanalysis of symmetric-key ciphers typically involves looking for attacks against the block ciphers or stream ciphers that are more efficient than any attack that could be against a perfect cipher. For example, a simple brute force attack against DES requires one known plaintext and 2 decryptions, trying approximately half of

12402-407: The truth of any one of these statements is always relative to the whole theory. Therefore, the same statement may be true with respect to one theory, and not true with respect to another. This is, in ordinary language, where statements such as "He is a terrible person" cannot be judged as true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person"

12519-431: The use of cryptography is legal, laws permit investigators to compel the disclosure of encryption keys for documents relevant to an investigation. Cryptography also plays a major role in digital rights management and copyright infringement disputes with regard to digital media . The first use of the term "cryptograph" (as opposed to " cryptogram ") dates back to the 19th century—originating from " The Gold-Bug ",

12636-610: The value of 7612058254738945 × 9263591128439081. Compiling and running this program gives this result. (The -lgmp flag is used if compiling on Unix-type systems.) For comparison, one can write instead the following equivalent C++ program. (The -lgmpxx -lgmp flags are used if compiling on Unix-type systems.) Cryptography This is an accepted version of this page Cryptography , or cryptology (from Ancient Greek : κρυπτός , romanized :  kryptós "hidden, secret"; and γράφειν graphein , "to write", or -λογία -logia , "study", respectively ),

12753-446: The way nature behaves under certain conditions. Theories guide the enterprise of finding facts rather than of reaching goals, and are neutral concerning alternatives among values. A theory can be a body of knowledge , which may or may not be associated with particular explanatory models . To theorize is to develop this body of knowledge. The word theory or "in theory" is sometimes used outside of science to refer to something which

12870-465: The word theory since at least the late 16th century. Modern uses of the word theory derive from the original definition, but have taken on new shades of meaning, still based on the idea of a theory as a thoughtful and rational explanation of the general nature of things. Although it has more mundane meanings in Greek, the word θεωρία apparently developed special uses early in the recorded history of

12987-525: Was a message tattooed on a slave's shaved head and concealed under the regrown hair. Other steganography methods involve 'hiding in plain sight,' such as using a music cipher to disguise an encrypted message within a regular piece of sheet music. More modern examples of steganography include the use of invisible ink , microdots , and digital watermarks to conceal information. In India, the 2000-year-old Kama Sutra of Vātsyāyana speaks of two different kinds of ciphers called Kautiliyam and Mulavediya. In

13104-542: Was finally won in 1978 by Ronald Rivest , Adi Shamir , and Len Adleman , whose solution has since become known as the RSA algorithm . The Diffie–Hellman and RSA algorithms , in addition to being the first publicly known examples of high-quality public-key algorithms, have been among the most widely used. Other asymmetric-key algorithms include the Cramer–Shoup cryptosystem , ElGamal encryption , and various elliptic curve techniques . A document published in 1997 by

13221-499: Was first published about ten years later by Friedrich Kasiski . Although frequency analysis can be a powerful and general technique against many ciphers, encryption has still often been effective in practice, as many a would-be cryptanalyst was unaware of the technique. Breaking a message without using frequency analysis essentially required knowledge of the cipher used and perhaps of the key involved, thus making espionage, bribery, burglary, defection, etc., more attractive approaches to

13338-488: Was indeed possible by presenting the Diffie–Hellman key exchange protocol, a solution that is now widely used in secure communications to allow two parties to secretly agree on a shared encryption key . The X.509 standard defines the most commonly used format for public key certificates . Diffie and Hellman's publication sparked widespread academic efforts in finding a practical public-key encryption system. This race

13455-570: Was new and significant. Computer use has thus supplanted linguistic cryptography, both for cipher design and cryptanalysis. Many computer ciphers can be characterized by their operation on binary bit sequences (sometimes in groups or blocks), unlike classical and mechanical schemes, which generally manipulate traditional characters (i.e., letters and digits) directly. However, computers have also assisted cryptanalysis, which has compensated to some extent for increased cipher complexity. Nonetheless, good modern ciphers have stayed ahead of cryptanalysis; it

13572-508: Was probably the first automatic cipher device , a wheel that implemented a partial realization of his invention. In the Vigenère cipher , a polyalphabetic cipher , encryption uses a key word , which controls letter substitution depending on which letter of the key word is used. In the mid-19th century Charles Babbage showed that the Vigenère cipher was vulnerable to Kasiski examination , but this

13689-525: Was the Caesar cipher , in which each letter in the plaintext was replaced by a letter three positions further down the alphabet. Suetonius reports that Julius Caesar used it with a shift of three to communicate with his generals. Atbash is an example of an early Hebrew cipher. The earliest known use of cryptography is some carved ciphertext on stone in Egypt ( c.  1900 BCE ), but this may have been done for

#992007