Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
Autore | Ralf Küsters |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Springer Nature, 2018 |
Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
ISBN | 3-319-89722-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
Record Nr. | UNINA-9910293140103321 |
Ralf Küsters | ||
Springer Nature, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
Autore | Ralf Küsters |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Springer Nature, 2018 |
Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
ISBN | 3-319-89722-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
Record Nr. | UNISA-996465583103316 |
Ralf Küsters | ||
Springer Nature, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Pro Git / / by Scott Chacon, Ben Straub |
Autore | Chacon Scott |
Edizione | [2nd ed. 2014.] |
Pubbl/distr/stampa | Berlin, : Apress, 2014 |
Descrizione fisica | 1 online resource (441 p.) |
Disciplina | 004 |
Collana | The expert's voice |
Soggetto topico |
Open source software
Computer programming Software engineering Open Source Software Engineering/Programming and Operating Systems |
Soggetto non controllato | computer science |
ISBN | 1-4842-0076-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents at a Glance""; ""Contents""; ""About the Authors""; ""Preface by Scott Chacon""; ""Preface by Ben Straub""; ""Chapter 1: Getting Started""; ""About Version Control""; ""Local Version Control Systems""; ""Centralized Version Control Systems""; ""Distributed Version Control Systems""; ""A Short History of Git""; ""Git Basics""; ""Snapshots, Not Differences""; ""Nearly Every Operation Is Local""; ""Git Has Integrity""; ""Git Generally Only Adds Data""; ""The Three States""; ""The Command Line""; ""Installing Git""; ""Installing on Linux""; ""Installing on Mac""
""Installing on Windows""""First-Time Git Setup""; ""Your Identity""; ""Your Editor""; ""Checking Your Settings""; ""Getting Help""; ""Summary""; ""Chapter 2: Git Basics""; ""Getting a Git Repository""; ""Initializing a Repository in an Existing Directory""; ""Cloning an Existing Repository""; ""Recording Changes to the Repository""; ""Checking the Status of Your Files""; ""Tracking New Files""; ""Staging Modified Files""; ""Short Status""; ""Ignoring Files""; ""Viewing Your Staged and Unstaged Changes""; ""Committing Your Changes""; ""Skipping the Staging Area""; ""Removing Files"" ""Moving Files""""Viewing the Commit History""; ""Limiting Log Output""; ""Undoing Things""; ""Unstaging a Staged File""; ""Unmodifying a Modified File""; ""Working with Remotes""; ""Showing Your Remotes""; ""Adding Remote Repositories""; ""Fetching and Pulling from Your Remotes""; ""Pushing to Your Remotes""; ""Inspecting a Remote""; ""Removing and Renaming Remotes""; ""Tagging""; ""Listing Your Tags""; ""Creating Tags""; ""Annotated Tags""; ""Lightweight Tags""; ""Tagging Later""; ""Sharing Tags""; ""Git Aliases""; ""Summary""; ""Chapter 3: Git Branching""; ""Branching in a Nutshell"" ""Creating a New Branch""""Switching Branches""; ""Basic Branching and Merging""; ""Basic Branching""; ""Basic Merging""; ""Basic Merge Conflicts""; ""Branch Management""; ""Branching Workflows""; ""Long-Running Branches""; ""Topic Branches""; ""Remote Branches""; ""Pushing""; ""Tracking Branches""; ""Pulling""; ""Deleting Remote Branches""; ""Rebasing""; ""The Basic Rebase""; ""More Interesting Rebases""; ""The Perils of Rebasing""; ""Rebase When You Rebase""; ""Rebase vs. Merge""; ""Summary""; ""Chapter 4: Git on the Server""; ""The Protocols""; ""Local Protocol""; ""The Pros"" ""The Cons""""The HTTP Protocols""; ""Smart HTTP""; ""Dumb HTTP""; ""The Pros""; ""The Cons""; ""The SSH Protocol""; ""The Pros""; ""The Cons""; ""The Git Protocol""; ""The Pros""; ""The Cons""; ""Getting Git on a Server""; ""Putting the Bare Repository on a Server""; ""Small Setups""; ""SSH Access""; ""Generating Your SSH Public Key""; ""Setting Up the Server""; ""Git Daemon""; ""Smart HTTP""; ""GitWeb""; ""GitLab""; ""Installation""; ""Administration""; ""Users""; ""Groups""; ""Projects""; ""Hooks""; ""Basic Usage""; ""Working Together""; ""Third Party Hosted Options""; ""Summary"" ""Chapter 5: Distributed Git"" |
Record Nr. | UNINA-9910293150103321 |
Chacon Scott | ||
Berlin, : Apress, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Robotics : Hephaestus does it again / / Jean-Paul Laumond |
Autore | Laumond Jean Paul |
Pubbl/distr/stampa | Collège de France, 2012 |
Descrizione fisica | 1 online resource (various pagings) |
Collana | Leçons inaugurales du Collège de France |
Soggetto topico |
Greek mythology - Influences
Mechanical Engineering Robotics - History |
Soggetto non controllato |
computer science
science technological innovation robotics technology artificial intelligence algorithm |
ISBN | 9782722601864 (PDF) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910133512803321 |
Laumond Jean Paul | ||
Collège de France, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Routledge handbook of crime science / / edited by Richard Wortley, Aiden Sidebottom, Gloria Laycock, Nick Tilley |
Autore | Hartel Pieter |
Pubbl/distr/stampa | Taylor & Francis, 2019 |
Descrizione fisica | 1 online resource (474 pages) |
Disciplina | 364 |
Collana | Routledge international handbooks |
Soggetto topico |
Criminology
Forensic sciences Criminal psychology |
Soggetto non controllato |
crime
computers networks computer science crime prevention |
ISBN |
1-135-98180-9
0-203-43140-5 1-135-98173-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910765736103321 |
Hartel Pieter | ||
Taylor & Francis, 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Semantic Systems. In the Era of Knowledge Graphs [[electronic resource] ] : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings / / edited by Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit |
Autore | Blomqvist Eva |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XIII, 127 p. 102 illus., 30 illus. in color.) |
Disciplina | 006.33 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Knowledge representation (Information theory)
Application software Computers Knowledge based Systems Computer Applications Information Systems and Communication Service |
Soggetto non controllato |
Knowledge based Systems
Computer Applications Information Systems and Communication Service Computer and Information Systems Applications Computer Engineering and Networks artificial intelligence computer science computer systems data handling databases dbpedia internet knowledge-based system linguistics linked data Natural Language Processing (NLP) natural languages ontologies query languages query processing resource description framework search engines semantic web semantics World Wide Web Expert systems / knowledge-based systems Information technology: general issues Computer networking & communications |
ISBN | 3-030-59833-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The New DBpedia Release Cycle: Increasing Agility and Efficiency in Knowledge Extraction Workflows -- DBpedia Archivo - A Web-Scale Interface for Ontology Archiving under Consumer-oriented Aspects,. A Knowledge Retrieval Framework for Household Objects and Actions with External Knowledge -- Semantic Annotation, Representation and Linking of Survey Data -- QueDI: from Knowledge Graph Querying to Data Visualization -- EcoDaLo: Federating advertisement targeting with Linked Data -- MINDS: a translator to embed mathematical expressions inside SPARQL queries -- Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph. |
Record Nr. | UNISA-996418218103316 |
Blomqvist Eva | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings / / edited by Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit |
Autore | Blomqvist Eva |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XIII, 127 p. 102 illus., 30 illus. in color.) |
Disciplina | 006.33 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Knowledge representation (Information theory)
Application software Computers Knowledge based Systems Computer Applications Information Systems and Communication Service |
Soggetto non controllato |
Knowledge based Systems
Computer Applications Information Systems and Communication Service Computer and Information Systems Applications Computer Engineering and Networks artificial intelligence computer science computer systems data handling databases dbpedia internet knowledge-based system linguistics linked data Natural Language Processing (NLP) natural languages ontologies query languages query processing resource description framework search engines semantic web semantics World Wide Web Expert systems / knowledge-based systems Information technology: general issues Computer networking & communications |
ISBN | 3-030-59833-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The New DBpedia Release Cycle: Increasing Agility and Efficiency in Knowledge Extraction Workflows -- DBpedia Archivo - A Web-Scale Interface for Ontology Archiving under Consumer-oriented Aspects,. A Knowledge Retrieval Framework for Household Objects and Actions with External Knowledge -- Semantic Annotation, Representation and Linking of Survey Data -- QueDI: from Knowledge Graph Querying to Data Visualization -- EcoDaLo: Federating advertisement targeting with Linked Data -- MINDS: a translator to embed mathematical expressions inside SPARQL queries -- Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph. |
Record Nr. | UNINA-9910424947703321 |
Blomqvist Eva | ||
Springer Nature, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Telkomnika |
Pubbl/distr/stampa | Yogyakarta, Indonesia, : Ahmad Dahlan University |
Descrizione fisica | 1 online resource |
Soggetto topico | Electrical engineering |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato |
telecommunication
computer science electronics DoajSubjectTerm: Computer Science DoajSubjectTerm: Electrical and Nuclear Engineering |
ISSN | 2087-278X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Indonesian journal of electrical engineering |
Record Nr. | UNISA-996335782003316 |
Yogyakarta, Indonesia, : Ahmad Dahlan University | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Telkomnika |
Pubbl/distr/stampa | Yogyakarta, Indonesia, : Ahmad Dahlan University |
Descrizione fisica | 1 online resource |
Soggetto topico | Electrical engineering |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato |
telecommunication
computer science electronics DoajSubjectTerm: Computer Science DoajSubjectTerm: Electrical and Nuclear Engineering |
ISSN | 2087-278X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Indonesian journal of electrical engineering |
Record Nr. | UNINA-9910338756403321 |
Yogyakarta, Indonesia, : Ahmad Dahlan University | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Web and Internet Economics [[electronic resource] ] : 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedings / / edited by Nikhil R. Devanur, Pinyan Lu |
Autore | Lu Pinyan |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Springer Nature, 2017 |
Descrizione fisica | 1 online resource (XI, 408 p. 62 illus.) |
Disciplina | 005.3 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Algorithms
E-commerce Computers Computer communication systems Application software Artificial intelligence Algorithm Analysis and Problem Complexity e-Commerce/e-business Computation by Abstract Devices Computer Communication Networks Information Systems Applications (incl. Internet) Artificial Intelligence |
Soggetto non controllato |
game theory
computer science |
ISBN | 3-319-71924-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theoretical computer science -- Artificial intelligence -- Microeconomics -- Problems at the intersection of computation, game theory and economics. . |
Record Nr. | UNISA-996466430803316 |
Lu Pinyan | ||
Springer Nature, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|