Das vorabentscheidungsverfahren vor dem gerichtshof der europaichen gemeinschfaten / Ulrich Everling

• Record Nr.: UNINA990008645670403321
• Autore: Everling, Ulrich
• Pubbl/distr/stampa: Baden-Baden : Verlagsgesellschfat, 1986
• ISBN: 3-7890-0948-2
• Descrizione fisica: 87 p. ; 25 cm
• Locazione: DEC
• Collocazione: DI 8/426
• Lingua di pubblicazione: Tedesco
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

La convención internacional sobre los derechos de las personas con discapacidad y su impacto en la legislación autonómica de Cantabria [[electronic resource] ] : propuestas de reforma legislativa

• Record Nr.: UNINA9910672263603321
• Autore: Sánchez Martínez María Olga
• Pubbl/distr/stampa: Madrid, : Dykinson, 2015; Madrid : , : Dykinson, , [2015]
• ISBN: 84-9085-331-2
• Descrizione fisica: 1 online resource (384 p.)
• Altri autori (Persone): Solar CayónJosé Ignacio
• Disciplina: 341
• Soggetti: Derecho internacional -- España; Disabilities; Discapacidad; International law -- Spain; International Law - General; International Law; Law, Politics & Government
• Lingua di pubblicazione: Spagnolo
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Contiene bibliografía.
• Nota di contenuto: La Convención Internacional sobre los Derechos de las personas con discapacidad y su impacto en la (...); Página Legal; Índice; Abreviaturas utilizadas; Primera parte. La Convención internacional sobre (...) ; Capítulo Primero. Del modelo médico al modelo (...); I. Caracterización de los modelos de tratamiento (...); II. La CIDPD y la asunción del modelo social; Capítulo Segundo. Principios y objetivos de la CIDPD; I. Principios inspiradores de la Convención; a) El respeto de la dignidad inherente (...); b) La no discriminación; c) La participación e inclusión plenas (...); d) El respeto por la diferencia y la aceptación (...)e) La igualdad de oportunidades; f) La accesibilidad.; g) La igualdad entre el hombre y la mujer; h) El respeto a la evolución de las facultades (...); Capítulo Tercero. Determinación de los derechos (...); I. Capacidad jurídica y de obrar; 1. Discapacidad e incapacidad: del modelo (...); 2. Capacidad jurídica e institucionalización (...); 3. Participación política; II. Accesibilidad; 1. Ámbitos de accesibilidad; 2. Obligaciones específicas de los Estados (...); 3. Estrategias para la accesibilidad: diseño (...); III. Autonomía, movilidad y vida independienteIV. Sanidad y servicios sociales; 1. Salud; 2. Protección social; V. Educación; 1. El derecho a la educación de las personas (...); 2. Educación ciudadana respecto a (...); VI. Empleo; VII. Acceso a la justicia; VIII. Cultura, ocio y deporte; IX. Atención especial a los grupos de personas (...); 1. Niños y niñas con discapacidad; 2. Mujeres con discapacidad; 3. Inmigrantes con discapacidad; 4. Mayores con discapacidad; Capítulo Cuarto. Instrumentos para la formulación (...); I. Órganos de aplicación y seguimiento (...); II. Necesidad de información y estadísticas (...)III. Diálogo civil; IV. Transversalidad; Segunda parte. El impacto de la Convención internacional (...); Capítulo Primero. La obligación de adaptación (...); I. El tránsito del legislador español del modelo (...); II. Principales rasgos del sistema español (...); 1. La definición legal de «persona con discapacidad» .; 2. Capacidad jurídica e incapacitación; 3. Órganos nacionales de aplicación (...); Capítulo Segundo. El impacto de la CIDPD (...); I. La regulación estatal de las condiciones (...); 1. Ámbitos de accesibilidad; A. Accesibilidad de los espacios públicos (...)B. Accesibilidad de los servicios de (...); C. Accesibilidad en las relaciones con (...); D. Accesibilidad de los servicios (...); E. Obligaciones de carácter general (...); 2. Estrategias para la accesibilidad; II. La legislación autonómica en materia de accesibilidad; 1. El marco competencial autonómico; 2. La Ley 3/1996, de 24 de septiembre (...); A. Concepción de la discapacidad (...); B. Ausencia de un tratamiento integral (...); C. Ámbito de aplicación reducido; D. Estrategias de accesibilidad insuficientes; E. Régimen sancionador incoherente (...)

CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato

• Record Nr.: UNINA9910770247303321
• Autore: Sadovykh Andrey
• Pubbl/distr/stampa: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
• ISBN: 9783031422126; 3031422120
• Edizione: [1st ed. 2024.]
• Descrizione fisica: 1 online resource (329 pages)
• Altri autori (Persone): TruscanDragos; MallouliWissam; CavalliAna Rosa; SeceleanuCristina; BagnatoAlessandra
• Disciplina: 005.10289
• Soggetti: Software engineering; Data protection; Computer programs - Testing; Cooperating objects (Computer systems); Software Engineering; Data and Information Security; Software Testing; Cyber-Physical Systems
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Part I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical ; Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. .
• Sommario/riassunto: This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale industrial systems and explains novel methods that enable a faster feedback loop for verifying security-related activities, which rely on techniques such as automated testing, model checking, static analysis, runtime monitoring, and formal methods. The book consists of three parts, each covering a different aspect of security engineering in the DevOps context. The first part, "Security Requirements", explains how to specify and analyse security issues in a formal way. The second part, "Prevention at Development Time", offers a practical and industrial perspective on how to design, develop and verify secure applications. The third part, "Protection at Operations", eventually introducestools for continuous monitoring of security events and incidents. Overall, it covers several advanced topics related to security verification, such as optimizing security verification activities, automatically creating verifiable specifications from security requirements and vulnerabilities, and using these security specifications to verify security properties against design specifications and generate artifacts such as tests or monitors that can be used later in the DevOps process. The book aims at computer engineers in general and does not require specific knowledge. In particular, it is intended for software architects, developers, testers, security professionals, and tool providers, who want to define, build, test, and verify secure applications, Web services, and industrial systems.