Autor Beckert, Bernhard
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / Krimmer, Robert ; Volkamer, Melanie ; Cortier, Véronique ; Beckert, Bernhard ; Küsters, Ralf ; Serdült, Uwe ; Duenas-Cid, David
TÃtulo : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings Tipo de documento: documento electrónico Autores: Krimmer, Robert, ; Volkamer, Melanie, ; Cortier, Véronique, ; Beckert, Bernhard, ; Küsters, Ralf, ; Serdült, Uwe, ; Duenas-Cid, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 233 p. 53 ilustraciones, 25 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30625-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: CriptografÃa Cifrado de datos (Informática) IngenierÃa Informática Red de computadoras CriptologÃa IngenierÃa Informática y Redes Redes de comunicación informática Ãndice Dewey: 5.824 Resumen: Este libro constituye las actas de la 4ª Conferencia Internacional sobre Voto Electrónico, E-Vote-ID 2019, celebrada en Bregenz, Austria, en octubre de 2019. Los 13 trabajos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de entre 45 presentaciones. La conferencia se organizó en temas sobre seguridad, usabilidad y cuestiones técnicas, cuestiones administrativas, legales, polÃticas y sociales, elecciones y experiencias prácticas, carteles y demostración del sistema de votación electrónica. Nota de contenido: E-Voting - An overview of the development in the past 15 years -- UnclearBallot: Automated Ballot Image Manipulation -- Election Manipulation with Partial Information -- Online Voting in a First Nation in Canada: Implications for Participation and Governance -- Online Voting in Ontario Municipal Elections: A Conict of Legal Principles and Technology? -- The Swiss Post/Scytl transparency exercise and its possible impact on internet voting regulation -- How Do the Swiss Perceive Electronic Voting? Social Insights from a Qualitative Field Survey -- Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs -- The Swiss Postal Voting Process and its System and Security Analysis -- Auditing Indian Elections -- Election Integrity and Electronic Voting Machines in 2018 Georgia -- Risk-Limiting Tallies -- The Danish Party Endorsement System -- On practical aspects of coercion-resistant voting systems. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings [documento electrónico] / Krimmer, Robert, ; Volkamer, Melanie, ; Cortier, Véronique, ; Beckert, Bernhard, ; Küsters, Ralf, ; Serdült, Uwe, ; Duenas-Cid, David, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 233 p. 53 ilustraciones, 25 ilustraciones en color.
ISBN : 978-3-030-30625-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: CriptografÃa Cifrado de datos (Informática) IngenierÃa Informática Red de computadoras CriptologÃa IngenierÃa Informática y Redes Redes de comunicación informática Ãndice Dewey: 5.824 Resumen: Este libro constituye las actas de la 4ª Conferencia Internacional sobre Voto Electrónico, E-Vote-ID 2019, celebrada en Bregenz, Austria, en octubre de 2019. Los 13 trabajos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados de entre 45 presentaciones. La conferencia se organizó en temas sobre seguridad, usabilidad y cuestiones técnicas, cuestiones administrativas, legales, polÃticas y sociales, elecciones y experiencias prácticas, carteles y demostración del sistema de votación electrónica. Nota de contenido: E-Voting - An overview of the development in the past 15 years -- UnclearBallot: Automated Ballot Image Manipulation -- Election Manipulation with Partial Information -- Online Voting in a First Nation in Canada: Implications for Participation and Governance -- Online Voting in Ontario Municipal Elections: A Conict of Legal Principles and Technology? -- The Swiss Post/Scytl transparency exercise and its possible impact on internet voting regulation -- How Do the Swiss Perceive Electronic Voting? Social Insights from a Qualitative Field Survey -- Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs -- The Swiss Postal Voting Process and its System and Security Analysis -- Auditing Indian Elections -- Election Integrity and Electronic Voting Machines in 2018 Georgia -- Risk-Limiting Tallies -- The Danish Party Endorsement System -- On practical aspects of coercion-resistant voting systems. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings Tipo de documento: documento electrónico Autores: Krimmer, Robert, ; Volkamer, Melanie, ; Beckert, Bernhard, ; Küsters, Ralf, ; Kulyk, Oksana, ; Duenas-Cid, David, ; Solvak, Mihkel, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 229 p. 17 ilustraciones ISBN/ISSN/DL: 978-3-030-60347-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: CriptografÃa Cifrado de datos (Informática) Software de la aplicacion Protección de datos Red informática Red de computadoras Sistemas informáticos CriptologÃa Aplicaciones informáticas y de sistemas de información Servicios de seguridad Seguridad móvil y de red Redes de comunicación informática Implementación de sistema informático Ãndice Dewey: 5.824 Resumen: Este libro constituye las actas de la V Conferencia Internacional sobre Voto Electrónico, E-Vote-ID 2020, celebrada en lÃnea -debido al COVID -19- en Bregenz, Austria, en octubre de 2020. Los 14 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados de 55 presentaciones. Las jornadas recogieron los debates más relevantes sobre el desarrollo del Voto Electrónico, desde aspectos relacionados con la seguridad y usabilidad hasta experiencias prácticas y aplicaciones de los sistemas de votación, pasando por aspectos legales, sociales o polÃticos, entre otros; resultando ser un importante referente mundial en relación a este tema. Nota de contenido: Electronic Voting -- E-voting -- Internet Voting -- Electronic Voting Machines -- Security -- Verifiability -- Verification -- Election Management Boards -- Risk Audit -- Elections. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings [documento electrónico] / Krimmer, Robert, ; Volkamer, Melanie, ; Beckert, Bernhard, ; Küsters, Ralf, ; Kulyk, Oksana, ; Duenas-Cid, David, ; Solvak, Mihkel, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 229 p. 17 ilustraciones.
ISBN : 978-3-030-60347-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: CriptografÃa Cifrado de datos (Informática) Software de la aplicacion Protección de datos Red informática Red de computadoras Sistemas informáticos CriptologÃa Aplicaciones informáticas y de sistemas de información Servicios de seguridad Seguridad móvil y de red Redes de comunicación informática Implementación de sistema informático Ãndice Dewey: 5.824 Resumen: Este libro constituye las actas de la V Conferencia Internacional sobre Voto Electrónico, E-Vote-ID 2020, celebrada en lÃnea -debido al COVID -19- en Bregenz, Austria, en octubre de 2020. Los 14 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados de 55 presentaciones. Las jornadas recogieron los debates más relevantes sobre el desarrollo del Voto Electrónico, desde aspectos relacionados con la seguridad y usabilidad hasta experiencias prácticas y aplicaciones de los sistemas de votación, pasando por aspectos legales, sociales o polÃticos, entre otros; resultando ser un importante referente mundial en relación a este tema. Nota de contenido: Electronic Voting -- E-voting -- Internet Voting -- Electronic Voting Machines -- Security -- Verifiability -- Verification -- Election Management Boards -- Risk Audit -- Elections. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY Tipo de documento: documento electrónico Autores: Ahrendt, Wolfgang, ; Beckert, Bernhard, ; Bubel, Richard, ; Hähnle, Reiner, ; Ulbrich, Mattias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 339 p. 93 ilustraciones, 39 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-64354-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: IngenierÃa de software Ciencias de la Computación Inteligencia artificial Software de la aplicacion Lógica informática y fundamentos de la programación Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Desde el inicio del proyecto KeY hace dos décadas, el área de la verificación deductiva ha evolucionado considerablemente. Se ha vuelto frecuente el soporte para lenguajes de programación del mundo real mediante herramientas de verificación deductiva de programas. Esto requirió superar importantes desafÃos teóricos y técnicos para respaldar conceptos avanzados de programación e ingenierÃa de software. La comunidad se volvió más interconectada con un entorno competitivo, pero amigable y solidario. Aprovechamos el 20 aniversario de KeY como una oportunidad para invitar a investigadores, dentro y fuera del proyecto, a contribuir a un libro que capture algunos desarrollos de vanguardia en este campo. Recibimos trece contribuciones de reconocidos expertos en el campo abordando los últimos desafÃos. Los temas de las contribuciones van desde el desarrollo de herramientas, consideraciones de eficiencia y usabilidad hasta novedosos métodos de especificación y verificación. Este libro deberÃa ofrecer al lector una impresión actualizada del estado actual de la verificación deductiva y esperamos inspirarlo a contribuir en este campo y unir fuerzas. Esperamos conocerle en la próxima conferencia para escuchar sus charlas de investigación y las fructÃferas discusiones y colaboraciones resultantes. Nota de contenido: History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY [documento electrónico] / Ahrendt, Wolfgang, ; Beckert, Bernhard, ; Bubel, Richard, ; Hähnle, Reiner, ; Ulbrich, Mattias, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 339 p. 93 ilustraciones, 39 ilustraciones en color.
ISBN : 978-3-030-64354-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Ciencias de la Computación Inteligencia artificial Software de la aplicacion Lógica informática y fundamentos de la programación Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Desde el inicio del proyecto KeY hace dos décadas, el área de la verificación deductiva ha evolucionado considerablemente. Se ha vuelto frecuente el soporte para lenguajes de programación del mundo real mediante herramientas de verificación deductiva de programas. Esto requirió superar importantes desafÃos teóricos y técnicos para respaldar conceptos avanzados de programación e ingenierÃa de software. La comunidad se volvió más interconectada con un entorno competitivo, pero amigable y solidario. Aprovechamos el 20 aniversario de KeY como una oportunidad para invitar a investigadores, dentro y fuera del proyecto, a contribuir a un libro que capture algunos desarrollos de vanguardia en este campo. Recibimos trece contribuciones de reconocidos expertos en el campo abordando los últimos desafÃos. Los temas de las contribuciones van desde el desarrollo de herramientas, consideraciones de eficiencia y usabilidad hasta novedosos métodos de especificación y verificación. Este libro deberÃa ofrecer al lector una impresión actualizada del estado actual de la verificación deductiva y esperamos inspirarlo a contribuir en este campo y unir fuerzas. Esperamos conocerle en la próxima conferencia para escuchar sus charlas de investigación y las fructÃferas discusiones y colaboraciones resultantes. Nota de contenido: History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
