Advances in Cryptology – EUROCRYPT ’95 |
Pubbl/distr/stampa | Springer Berlin Heidelberg |
Descrizione fisica | 1 online resource (xiv, 417 p.) : ill |
Soggetto non controllato |
Cryptography
Computers |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465830203316 |
Springer Berlin Heidelberg | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Cryptology — CRYPT0’ 95 |
Pubbl/distr/stampa | Springer Berlin Heidelberg |
Descrizione fisica | 1 online resource (xii, 466 p.) : ill |
Soggetto non controllato |
Computers
Cryptography Language arts & disciplines |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465831503316 |
Springer Berlin Heidelberg | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis |
Edizione | [1st ed. 1985.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] |
Descrizione fisica | 1 online resource (XII, 496 p.) |
Disciplina | 001.64 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers - Access control
Chemistry, Physical and theoretical |
ISBN | 3-540-39568-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Public Key Cryptosystems and Signatures -- A Prototype Encryption System Using Public Key -- A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms -- A Public-Key Cryptosystem Based on the Word Problem -- Efficient Signature Schemes Based on Polynomial Equations (preliminary version) -- Identity-Based Cryptosystems and Signature Schemes -- A Knapsack Type Public Key Cryptosystem Based On Arithmetic in Finite Fields (preliminary draft) -- Some Public-Key Crypto-Functions as Intractable as Factorization -- Cryptosystems and Other Hard Problems -- Computing Logarithms in GF (2n) -- Wyner’s Analog Encryption Scheme: Results of a Simulation -- On Rotation Group and Encryption of Analog Signals -- The History of Book Ciphers -- An Update on Factorization at Sandia National Laboratories -- An LSI Digital Encryption Processor (DEP) -- Efficient hardware and software implementations for the DES -- Efficient hardware implementation of the DES -- A Self-Synchronizing Cascaded Cipher System with Dynamic Control of Error Propagation -- Randomness and Its Concomitants -- Efficient and Secure Pseudo-Random Number Generation (Extended Abstract) -- An LSI Random Number Generator (RNG) -- Generalized Linear Threshold Scheme -- Security of Ramp Schemes -- A Fast Pseudo Random Permutation Generator With Applications to Cryptology -- On the Cryptographic Applications of Random Functions (Extended Abstract) -- An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information -- Analysis and Cryptanalysis -- RSA/Rabin least significant bits are secure (Extended Abstract) -- Information Theory without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects -- Cryptanalysis of Adfgvx Encipherment Systems -- Breaking Iterated Knapsacks -- Dependence of output on input in DES: Small avalanche characteristics -- Des has no Per Round Linear Factors -- Protocols and Authentication -- A Message Authenticator Algorithm Suitable for a Mainframe Computer -- Key Management for Secure Electronic Funds Transfer in a Retail Environment -- Authentication Theory/Coding Theory -- New Secret Codes Can Prevent a Computerized Big Brother -- Fair Exchange of Secrets (extended abstract) -- Cryptoprotocols: Subscription to a Public Key, The Secret Blocking and The Multi-Player Mental Poker Game (extended abstract) -- Poker Protocols -- Impromptu Talks -- A “Paradoxical” Solution to The Signature Problem -- Sequence Complexity as a Test for Cryptographic Systems -- An Update on Quantum Cryptography -- How to Keep a Secret Alive. |
Record Nr. | UNISA-996465804403316 |
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
An Attribute Grammar for the Semantic Analysis of ADA [[electronic resource] /] / by J. Uhl, S. Drossopoulou, G. Persch, G. Goos, M. Dausmann, G. Winterstein, W. Kirchgässner |
Autore | Uhl J |
Edizione | [1st ed. 1982.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 |
Descrizione fisica | 1 online resource (XII, 516 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-39292-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | and survey -- Procedure for the AG -- Comparison of the AG with other attribute grammars -- Experiences with attribute grammars -- Overall structure of the AG -- Declaration elaboration -- Name and expression analysis -- Semantic checks and error handling -- Attribute types. |
Record Nr. | UNISA-996466359403316 |
Uhl J
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
DIANA. An Intermediate Language for Ada [[electronic resource] ] : Revised Version / / edited by G. Goos, W. A. Wulf, A. Jr. Evans, K. J. Butler |
Edizione | [1st ed. 1983.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
Descrizione fisica | 1 online resource (VII, 205 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems |
ISBN | 3-540-38685-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Abstract -- Acknowledgments -- Preface -- Definition of the Diana domain -- Rationale -- Definition of the Diana operations -- External representation of DIANA -- Implementation options. |
Record Nr. | UNISA-996466349803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
GI-5, Jahrestagung : Dortmund, 8.-10. Oktober 1975 / / edited by G. Goos and J. Hartmani |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
Descrizione fisica | 1 online resource |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-996465385303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The programming language Ada : reference manual : proposed standard document / / edited by G. Goos and J. Hartmanis |
Edizione | [1st ed. 1980.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [1981] |
Descrizione fisica | 1 online resource (XII, 244 p.) |
Disciplina | 005.133 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Ada (Computer program language) |
ISBN | 3-540-38620-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic program units -- Representation specifications and implementation dependent features -- Input-output. |
Record Nr. | UNISA-996465505003316 |
Berlin, Heidelberg : , : Springer-Verlag, , [1981] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|