Chaos in Attitude Dynamics of Spacecraft / / by Yanzhu Liu, Liqun Chen |
Autore | Liu Yanzhu |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (174 p.) |
Disciplina |
629.4
629.4/1 |
Collana | Tsinghua University Lecture Notes |
Soggetto topico |
Aerospace engineering
Astronautics Automotive engineering Mechanics Mechanics, Applied Aerospace Technology and Astronautics Automotive Engineering Theoretical and Applied Mechanics |
ISBN | 3-642-30080-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Primer on Spacecraft Dynamics -- A Survey of Chaos Theory -- Chaos in Planar Attitude Motion of Spacecraft -- Chaos in Spatial Attitude Motion of Spacecraft -- Control of Chaotic Attitude Motion. |
Record Nr. | UNINA-9910438060503321 |
Liu Yanzhu
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer security - ESORICS 2020 : 25th european symposium on research in computer security, ESORICS 2020, Guildford, UK, September 14-18, 2020, proceedings, part I / / Liqun Chen [and three others] |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XXVIII, 760 p. 637 illus., 141 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer Communication Networks
Mobile and Network Security Systems and Data Security |
ISBN | 3-030-58951-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Database and Web Security -- Pine: Enabling Privacy-Preserving Deep Packet Inspection on TLS with Rule-Hiding and Fast Connection Establishment -- Bulwark: Holistic and Verified Security Monitoring of Web Protocols -- A Practical Model for Collaborative Databases: Securely Mixing, Searching and Computing -- Software Security -- Follow the blue bird: A study on threat data published on Twitter -- Dynamic and Secure Memory Transformation in Userspace -- Understanding the Security Risks of Docker Hub -- DE-auth of the blue! Transparent De-authentication using Bluetooth Low Energy Beacon -- Software Security -- Similarity of Binaries across Optimization Levels and Obfuscations -- HART: Hardware-assisted Kernel Module Tracing on Arm -- Zipper Stack: Shadow Stacks Without Shadow -- Restructured Cloning Vulnerability Detection Based on Function Semantic Reserving and Reiteration Screening -- LegIoT: Ledgered Trust Management Platform for IoT -- Machine Learning Security -- PrivColl: Practical Privacy-Preserving Collaborative Machine Learning -- An Efficient 3-Party Framework for Privacy-Preserving Neural Network Inference -- Deep Learning Side-Channel Analysis on Large-Scale Traces - A Case Study on a Polymorphic AES -- Towards Poisoning the Neural Collaborative Filtering-Based Recommender Systems -- Machine Learning Security -- Data Poisoning Attacks Against Federated Learning Systems -- Interpretable Probabilistic Password Strength Meters via Deep Learning -- Polisma - A Framework for Learning Attribute-based Access Control Policies -- A Framework for Evaluating Client Privacy Leakages in Federated Learning -- Network Security -- An Accountable Access Control Scheme for Hierarchical Content in Named Data Networks with Revocation -- PGC: Decentralized Con dential Payment System with Auditability -- Secure Cloud Auditing with Efficient Ownership Transfer -- Privacy -- Encrypt-to-self: Securely Outsourcing Storage -- PGLP: Customizable and Rigorous Location Privacy through Policy Graph -- Where are you Bob? Privacy-Preserving Proximity Testing with a Napping Party -- Password and Policy -- Distributed PCFG Password Cracking -- Your PIN Sounds Good! Augmentation of PIN Guessing Strategies Through Audio Leakage -- GDPR - Challenges for Reconciling Legal Rules with Technical Reality. |
Record Nr. | UNINA-9910427718403321 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer security - ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings. Part II / / Liqun Chen; [and three others] |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XXVIII, 760 p. 391 illus., 81 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer networks - Security measures
Computer security Application software |
ISBN | 3-030-59013-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Modelling -- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols -- When is a test not a proof -- Hardware Fingerprinting for the ARINC 429 Avionic Bus -- Applied Cryptography -- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition -- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval -- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption -- Analyzing Attacks -- Linear Attack on Round-Reduced DES Using Deep Learning -- Detection by Attack: Detecting Adversarial Samples by Undercover Attack -- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems -- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs -- System Security -- Fooling primality tests on smartcards -- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA -- On the Privacy Risks of Compromised Trigger-Action Platforms -- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces -- Post-Quantum Cryptography -- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication -- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory -- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing -- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key -- Post-Quantum Adaptor Signatures and Payment Channel Networks -- Security Analysis -- Linear-Complexity Private Function Evaluation is Practical -- Certifying Decision Trees Against Evasion Attacks by Program Analysis -- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization -- Understanding Object Detection Through An Adversarial Lens -- Applied Cryptography -- Signatures with Tight Multi-User Security from Search Assumptions -- Biased RSA private keys: Origin attribution of GCD-factorable keys -- MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation -- Evaluating the e ectiveness of heuristic worst-case noise analysis in FHE -- Blockchain -- How to Model the Bribery Attack: A Practical Quanti cation Method in Blockchain -- Updatable Blockchains -- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Off-chain Contract Execution -- Applied Cryptography -- Identity-Based Authenticated Encryption with Identity Confidentiality -- Securing DNSSEC Keys via Threshold ECDSA From Generic MPC -- On Private Information Retrieval Supporting Range Queries -- Blockchain -- 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely -- Generic Superlight Client for Permissionless Blockchains -- LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. |
Record Nr. | UNINA-9910427716503321 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer security - ESORICS 2020 : 25th european symposium on research in computer security, ESORICS 2020, Guildford, UK, September 14-18, 2020, proceedings, part I / / Liqun Chen [and three others] |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XXVIII, 760 p. 637 illus., 141 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer Communication Networks
Mobile and Network Security Systems and Data Security |
ISBN | 3-030-58951-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Database and Web Security -- Pine: Enabling Privacy-Preserving Deep Packet Inspection on TLS with Rule-Hiding and Fast Connection Establishment -- Bulwark: Holistic and Verified Security Monitoring of Web Protocols -- A Practical Model for Collaborative Databases: Securely Mixing, Searching and Computing -- Software Security -- Follow the blue bird: A study on threat data published on Twitter -- Dynamic and Secure Memory Transformation in Userspace -- Understanding the Security Risks of Docker Hub -- DE-auth of the blue! Transparent De-authentication using Bluetooth Low Energy Beacon -- Software Security -- Similarity of Binaries across Optimization Levels and Obfuscations -- HART: Hardware-assisted Kernel Module Tracing on Arm -- Zipper Stack: Shadow Stacks Without Shadow -- Restructured Cloning Vulnerability Detection Based on Function Semantic Reserving and Reiteration Screening -- LegIoT: Ledgered Trust Management Platform for IoT -- Machine Learning Security -- PrivColl: Practical Privacy-Preserving Collaborative Machine Learning -- An Efficient 3-Party Framework for Privacy-Preserving Neural Network Inference -- Deep Learning Side-Channel Analysis on Large-Scale Traces - A Case Study on a Polymorphic AES -- Towards Poisoning the Neural Collaborative Filtering-Based Recommender Systems -- Machine Learning Security -- Data Poisoning Attacks Against Federated Learning Systems -- Interpretable Probabilistic Password Strength Meters via Deep Learning -- Polisma - A Framework for Learning Attribute-based Access Control Policies -- A Framework for Evaluating Client Privacy Leakages in Federated Learning -- Network Security -- An Accountable Access Control Scheme for Hierarchical Content in Named Data Networks with Revocation -- PGC: Decentralized Con dential Payment System with Auditability -- Secure Cloud Auditing with Efficient Ownership Transfer -- Privacy -- Encrypt-to-self: Securely Outsourcing Storage -- PGLP: Customizable and Rigorous Location Privacy through Policy Graph -- Where are you Bob? Privacy-Preserving Proximity Testing with a Napping Party -- Password and Policy -- Distributed PCFG Password Cracking -- Your PIN Sounds Good! Augmentation of PIN Guessing Strategies Through Audio Leakage -- GDPR - Challenges for Reconciling Legal Rules with Technical Reality. |
Record Nr. | UNISA-996418301203316 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer security - ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings. Part II / / Liqun Chen; [and three others] |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (XXVIII, 760 p. 391 illus., 81 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer networks - Security measures
Computer security Application software |
ISBN | 3-030-59013-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Modelling -- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols -- When is a test not a proof -- Hardware Fingerprinting for the ARINC 429 Avionic Bus -- Applied Cryptography -- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition -- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval -- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption -- Analyzing Attacks -- Linear Attack on Round-Reduced DES Using Deep Learning -- Detection by Attack: Detecting Adversarial Samples by Undercover Attack -- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems -- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs -- System Security -- Fooling primality tests on smartcards -- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA -- On the Privacy Risks of Compromised Trigger-Action Platforms -- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces -- Post-Quantum Cryptography -- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication -- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory -- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing -- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key -- Post-Quantum Adaptor Signatures and Payment Channel Networks -- Security Analysis -- Linear-Complexity Private Function Evaluation is Practical -- Certifying Decision Trees Against Evasion Attacks by Program Analysis -- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization -- Understanding Object Detection Through An Adversarial Lens -- Applied Cryptography -- Signatures with Tight Multi-User Security from Search Assumptions -- Biased RSA private keys: Origin attribution of GCD-factorable keys -- MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation -- Evaluating the e ectiveness of heuristic worst-case noise analysis in FHE -- Blockchain -- How to Model the Bribery Attack: A Practical Quanti cation Method in Blockchain -- Updatable Blockchains -- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Off-chain Contract Execution -- Applied Cryptography -- Identity-Based Authenticated Encryption with Identity Confidentiality -- Securing DNSSEC Keys via Threshold ECDSA From Generic MPC -- On Private Information Retrieval Supporting Range Queries -- Blockchain -- 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely -- Generic Superlight Client for Permissionless Blockchains -- LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. |
Record Nr. | UNISA-996418288003316 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cryptography and Coding [[electronic resource] ] : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 2011, Proceedings / / edited by Liqun Chen |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 497 p.) |
Disciplina | 001.5436 |
Collana | Security and Cryptology |
Soggetto topico |
Data encryption (Computer science)
Coding theory Information theory Algorithms Data structures (Computer science) Computer security Computer science—Mathematics Cryptology Coding and Information Theory Algorithm Analysis and Problem Complexity Data Structures and Information Theory Systems and Data Security Discrete Mathematics in Computer Science |
ISBN | 3-642-25516-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465955703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dynamics of Vehicle-Road Coupled System / / by Shaopu Yang, Liqun Chen, Shaohua Li |
Autore | Yang Shaopu |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (336 p.) |
Disciplina |
620
621 624 629.2 |
Soggetto topico |
Vibration
Dynamical systems Dynamics Automotive engineering Statistical physics Civil engineering Vibration, Dynamical Systems, Control Automotive Engineering Applications of Nonlinear Dynamics and Chaos Theory Civil Engineering |
ISBN | 3-662-45957-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Dynamic analysis of a heavy vehicle using lumped parameter model -- Dynamic analysis of a heavy vehicle using functional virtual prototype -- Dynamic analysis of a pavement structure under a vehicle’s moving load -- Road dynamic responses under moving vehicle loads based on double-layer plate model -- Road dynamic responses under moving vehicle loads based on three-dimensional finite element model -- Modeling and dynamic analysis of vehicle-road coupled systems -- Parameter design of vehicle-road system with low dynamic interaction -- Modeling and interaction of a vehicle-road system with nonlinearity and viscoelasticity -- Construction of a highway fieldtest section for vehicle-road interaction. |
Record Nr. | UNINA-9910299828703321 |
Yang Shaopu
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Information and Communications Security [[electronic resource] ] : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings / / edited by Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 689 p. 168 illus.) |
Disciplina | 343.0999 |
Collana | Security and Cryptology |
Soggetto topico |
Data structures (Computer science)
Computer communication systems Computers Law and legislation Computers and civilization Computer security Software engineering Data Structures and Information Theory Computer Communication Networks Legal Aspects of Computing Computers and Society Systems and Data Security Software Engineering |
ISBN | 3-319-89500-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Analysis and Randomness Test -- Signature Scheme and Key Management -- Algorithms -- Applied Cryptography -- Attacks and Attacks Defense -- Wireless Sensor Network Security -- Security Applications -- Malicious Code Defense and Mobile Security -- IoT Security -- Healthcare and Industrial Control System Security -- Privacy Protection -- Engineering Issues of Crypto -- Cloud and E-commerce Security -- Security Protocols -- Network Security. |
Record Nr. | UNISA-996465597303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information and Communications Security : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings / / edited by Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 689 p. 168 illus.) |
Disciplina | 343.0999 |
Collana | Security and Cryptology |
Soggetto topico |
Data structures (Computer science)
Computer communication systems Computers Law and legislation Computers and civilization Computer security Software engineering Data Structures and Information Theory Computer Communication Networks Legal Aspects of Computing Computers and Society Systems and Data Security Software Engineering |
ISBN | 3-319-89500-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Analysis and Randomness Test -- Signature Scheme and Key Management -- Algorithms -- Applied Cryptography -- Attacks and Attacks Defense -- Wireless Sensor Network Security -- Security Applications -- Malicious Code Defense and Mobile Security -- IoT Security -- Healthcare and Industrial Control System Security -- Privacy Protection -- Engineering Issues of Crypto -- Cloud and E-commerce Security -- Security Protocols -- Network Security. |
Record Nr. | UNINA-9910349423703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Information and communications security : 10th international conference, ICICS 2008 Birmingham, UK, October 20-22, 2008, proceedings / / Liqun Chen, Mark Ryan, Guilin Wang, editors |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] |
Descrizione fisica | 1 online resource (XIII, 436 p.) |
Disciplina | 005.8 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer security
Telecommunication systems - Security measures |
ISBN | 3-540-88625-7 |
Classificazione | 54.62 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Attestation: Evidence and Trust -- Authentication -- A Novel Solution for End-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting Vulnerability to Doubling Attacks -- Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3 Requirements -- Cryptanalysis -- Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box -- Analysis of Two Attacks on Reduced-Round Versions of the SMS4 -- Applying Time-Memory-Data Trade-Off to Meet-in-the-Middle Attack -- Access Control -- Beyond User-to-User Access Control for Online Social Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application Confinement Policy Abstractions -- Towards Role Based Trust Management without Distributed Searching of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs -- Enhancing Java ME Security Support with Resource Usage Monitoring -- Pseudo-randomness Inside Web Browsers -- System Security -- Verifiable and Revocable Expression of Consent to Processing of Aggregated Personal Data -- Embedding Renewable Cryptographic Keys into Continuous Noisy Data -- Automated Device Pairing for Asymmetric Pairing Scenarios -- Applied Cryptography -- Algebraic Description and Simultaneous Linear Approximations of Addition in Snow 2.0. -- Towards an Information Theoretic Analysis of Searchable Encryption -- A Bootstrap Attack on Digital Watermarks in the Frequency Domain -- Improved Data Hiding Technique for Shares in Extended Visual Secret Sharing Schemes -- Security Protocols -- Efficient Multi-authorizer Accredited Symmetrically Private Information Retrieval -- Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study -- Publicly Verifiable Remote Data Integrity. |
Record Nr. | UNISA-996466243503316 |
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|