Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Cryptology – EUROCRYPT ’95
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Cryptology — CRYPT0’ 95
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis
| 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] | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
GI-5, Jahrestagung : Dortmund, 8.-10. Oktober 1975 / / edited by G. Goos and J. Hartmani
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The programming language Ada : reference manual : proposed standard document / / edited by G. Goos and J. Hartmanis
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||