Theory of Cryptography [[electronic resource] ] : First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings / / edited by Moni Naor |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 532 p.) |
Disciplina | 005.82 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data encryption (Computer science)
Operating systems (Computers) Algorithms Computers and civilization Management information systems Computer science Cryptology Operating Systems Algorithm Analysis and Problem Complexity Computers and Society Management of Computing and Information Systems |
ISBN |
1-280-30688-2
9786610306886 3-540-24638-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Notions of Reducibility between Cryptographic Primitives -- Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology -- On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes -- Universally Composable Commitments Using Random Oracles -- Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes -- List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument -- On the Possibility of One-Message Weak Zero-Knowledge -- Soundness of Formal Encryption in the Presence of Active Adversaries -- Rerandomizable and Replayable Adaptive Chosen Ciphertext Attack Secure Cryptosystems -- Alternatives to Non-malleability: Definitions, Constructions, and Applications -- A Note on Constant-Round Zero-Knowledge Proofs for NP -- Lower Bounds for Concurrent Self Composition -- Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation -- A Quantitative Approach to Reductions in Secure Computation -- Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering -- Physically Observable Cryptography -- Efficient and Universally Composable Committed Oblivious Transfer and Applications -- A Universally Composable Mix-Net -- A General Composition Theorem for Secure Reactive Systems -- Unfair Noisy Channels and Oblivious Transfer -- Computational Collapse of Quantum State with Application to Oblivious Transfer -- Implementing Oblivious Transfer Using Collection of Dense Trapdoor Permutations -- Composition of Random Systems: When Two Weak Make One Strong -- Simpler Session-Key Generation from Short Random Passwords -- Constant-Round Oblivious Transfer in the Bounded Storage Model -- Hierarchical Threshold Secret Sharing -- On Compressing Encrypted Data without the Encryption Key -- On the Notion of Pseudo-Free Groups. |
Record Nr. | UNISA-996465438203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory of Cryptography [[electronic resource] ] : First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings / / edited by Moni Naor |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 532 p.) |
Disciplina | 005.82 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data encryption (Computer science)
Operating systems (Computers) Algorithms Computers and civilization Management information systems Computer science Cryptology Operating Systems Algorithm Analysis and Problem Complexity Computers and Society Management of Computing and Information Systems |
ISBN |
1-280-30688-2
9786610306886 3-540-24638-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Notions of Reducibility between Cryptographic Primitives -- Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology -- On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes -- Universally Composable Commitments Using Random Oracles -- Transformation of Digital Signature Schemes into Designated Confirmer Signature Schemes -- List-Decoding of Linear Functions and Analysis of a Two-Round Zero-Knowledge Argument -- On the Possibility of One-Message Weak Zero-Knowledge -- Soundness of Formal Encryption in the Presence of Active Adversaries -- Rerandomizable and Replayable Adaptive Chosen Ciphertext Attack Secure Cryptosystems -- Alternatives to Non-malleability: Definitions, Constructions, and Applications -- A Note on Constant-Round Zero-Knowledge Proofs for NP -- Lower Bounds for Concurrent Self Composition -- Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation -- A Quantitative Approach to Reductions in Secure Computation -- Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering -- Physically Observable Cryptography -- Efficient and Universally Composable Committed Oblivious Transfer and Applications -- A Universally Composable Mix-Net -- A General Composition Theorem for Secure Reactive Systems -- Unfair Noisy Channels and Oblivious Transfer -- Computational Collapse of Quantum State with Application to Oblivious Transfer -- Implementing Oblivious Transfer Using Collection of Dense Trapdoor Permutations -- Composition of Random Systems: When Two Weak Make One Strong -- Simpler Session-Key Generation from Short Random Passwords -- Constant-Round Oblivious Transfer in the Bounded Storage Model -- Hierarchical Threshold Secret Sharing -- On Compressing Encrypted Data without the Encryption Key -- On the Notion of Pseudo-Free Groups. |
Record Nr. | UNINA-9910767521803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory, Formulation and Realization of Artifacts Science [[electronic resource] ] : 3M&I-Body System / / by Masayuki Matsui |
Autore | Matsui Masayuki |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (130 pages) |
Disciplina | 658.7 |
Collana | SpringerBriefs in Business |
Soggetto topico |
Operations research
Management information systems Game theory Science Operations Research/Decision Theory Business Process Management Game Theory Science, multidisciplinary |
ISBN | 981-13-3495-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Artifacts Dynamism -- Advanced Artifacts in Science and Economics -- Collaboration Science in the Age of Digitalization -- Matrix Method for Higher 3M&I-Management -- Artifact Dynamism and Duality in Matsui’s ME -- Design and Realization for Nature Versus Artifacts Science. |
Record Nr. | UNINA-9910350210703321 |
Matsui Masayuki | ||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Thinking-Driven Testing [[electronic resource] ] : The Most Reasonable Approach to Quality Control / / by Adam Roman |
Autore | Roman Adam |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (320 pages) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
ISBN | 3-319-73195-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Fundamentals of Software Testing -- 2 Testing strategies – how to become a better tester? -- 3 Thinking-Driven Testing: a universal testing framework -- 4 TQED model -- 5 Testing techniques -- 6 Testing pitfalls and how to avoid them -- 7 Kata and exercises for testers. |
Record Nr. | UNINA-9910299460103321 |
Roman Adam | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Third International Conference on Command, Control, Communications, and Management Information Systems, 2-4 May 1989 / / organised by the Computing and Control and Electronics Divisions of the Institution of Electrical Engineers in association with AFCEA [et al.], venue, Bournemouth International Centre, UK |
Pubbl/distr/stampa | London : , : The Institution, , 1989 |
Descrizione fisica | 1 online resource (vii, 255 pages) : illustrations |
Disciplina | 355.3/3041 |
Collana | Conference publication Third International Conference on Command, Control, Communications, and Management Information Systems, 2-4 May 1989 |
Soggetto topico |
Command and control systems
Management information systems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996211525003316 |
London : , : The Institution, , 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Time Predictions [[electronic resource] ] : Understanding and Avoiding Unrealism in Project Planning and Everyday Life / / by Torleif Halkjelsvik, Magne Jørgensen |
Autore | Halkjelsvik Torleif |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 110 p. 12 illus., 11 illus. in color.) |
Disciplina | 330.01 |
Collana | Simula SpringerBriefs on Computing |
Soggetto topico |
Behavioral economics
Personnel management Project management Management information systems Behavioral/Experimental Economics Human Resource Management Project Management Software Management |
ISBN | 3-319-74953-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1. Introduction: 1.1 A prediction success -- 1.2 Prediction disasters -- 2. How we Predict Time Usage: 2.1 Mental time travel -- 2.2 How did you make that prediction? -- 2.3 Time predictions are everywhere -- 2.4 How good are we at predicting time? -- 3. Predictions and the Uncertainty of the Future: 3.1 Precisely wrong or roughly right? -- 3.2 Communication of time predictions -- 3.3 Probability-based time predictions -- 3.4 Right-skewed time distributions -- 3.5 Relearning to add: 2 + 2 is usually more than 4 -- 3.6 How to predict the mean time usage -- 3.7 How time predictions affect performance -- 4. Overoptimistic Predictions: 4.1 Optimism, overoptimism, and overoptimistic predictions -- 4.2 The benefits of overoptimism -- 4.3 The desire to control time -- 4.4 Motivation to make accurate time usage predictions -- 4.5 Selection bias -- 4.6 Deception -- 4.7 Who makes the most realistic time predictions? -- 5. Time Prediction Biases: 5.1 The team scaling fallacy -- 5.2 Anchoring -- 5.3 Sequence effects -- 5.4 Format effects -- 5.5 The magnitude effect -- 5.6 Length of task description -- 5.7 The time unit effect -- 6. Uncertainty of Time Predictions: 6.1 Why are we overconfident? -- 6.2 What can we do to avoid overconfidence? -- 6.2.1 The use of alternative interval prediction formats -- 6.2.2 Learning from accuracy feedback -- 7. Time Prediction Methods and Principles: 7.1 Unpacking and decomposition -- 7.2 Analogies -- 7.3 Relative predictions -- 7.4 Time prediction models -- 7.5 Consider alternative futures -- 7.6 Combinations of time predictions -- 7.7 Let other people make the prediction? -- 7.8 Removing irrelevant and misleading information -- 7.9 From Fibonacci to t-shirt sizes: Time predictions using alternative scales -- 8. Time Predictions: Matching the Method to the Situation -- 9. How to Obtain Overoptimistic Time Predictions from Others. |
Record Nr. | UNINA-9910293141203321 |
Halkjelsvik Torleif | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tivoli Business Systems Manager version 2.1 end-to-end business impact management [[electronic resource] /] / [Budi Darmawan ... et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, 2003 |
Descrizione fisica | xxviii, 596 p. : ill |
Disciplina | 658.4/038/028553 |
Altri autori (Persone) | DarmawanBudi |
Collana | IBM redbooks |
Soggetto topico |
Business - Data processing - Management
Management information systems Web servers - Management |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910449790303321 |
[S.l.], : IBM, International Technical Support Organization, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tivoli Business Systems Manager version 2.1 end-to-end business impact management [[electronic resource] /] / [Budi Darmawan ... et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, 2003 |
Descrizione fisica | xxviii, 596 p. : ill |
Disciplina | 658.4/038/028553 |
Altri autori (Persone) | DarmawanBudi |
Collana | IBM redbooks |
Soggetto topico |
Business - Data processing - Management
Management information systems Web servers - Management |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910783566403321 |
[S.l.], : IBM, International Technical Support Organization, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Tivoli Business Systems Manager version 2.1 end-to-end business impact management [[electronic resource] /] / [Budi Darmawan ... et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, 2003 |
Descrizione fisica | xxviii, 596 p. : ill |
Disciplina | 658.4/038/028553 |
Altri autori (Persone) | DarmawanBudi |
Collana | IBM redbooks |
Soggetto topico |
Business - Data processing - Management
Management information systems Web servers - Management |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910815976103321 |
[S.l.], : IBM, International Technical Support Organization, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Toolbox digital business : leadership, business models, technologies and change / / Ralf T. Kreutzer |
Autore | Kreutzer Ralf |
Pubbl/distr/stampa | Wiesbaden, Germany : , : Springer Fachmedien Wiesbaden GmbH, , [2022] |
Descrizione fisica | 1 online resource (579 pages) |
Disciplina | 658.4038 |
Collana | Management for professionals |
Soggetto topico |
Management information systems
Organizational change - Management Strategic planning |
ISBN |
9783658370176
9783658370169 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910568242003321 |
Kreutzer Ralf | ||
Wiesbaden, Germany : , : Springer Fachmedien Wiesbaden GmbH, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|