- importsource = "00010782-2011-09.txt"
- Artículo:
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
- Autor:
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
- Resumen:
Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.
- Página:
78
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 89355
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Technical Perspective: Making Browser Extensions Secure
- Autor:
Christopher Kruegel
- Resumen:
Vulnerabilities in browsers and their extensions have become the primary venue through which cyber criminals compromise the security of Web users and, ultimately, earn money …
- Página:
90
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 89356
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Vetting Browser Extensions for Security Vulnerabilities with VEX
- Autor:
Sruthi Bandhakavi
Nandit Tiku
Wyatt Pittman
Samuel T. King
P. Madhusudan
Marianne Winslett
- Resumen:
The browser has become the de facto platform for everyday computation and a popular target for attackers of computer systems. Among the many potential attacks that target browsers, vulnerabilities in browser extensions have received …
- Página:
91
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 89357
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Technical Perspective: Abstracting Abstract Machines
- Autor:
Olivier Danvy
Jan Midtgaard
- Resumen:
Semanticss-based program analysis requires one to (1) start from a "friendly" semantics; (2) design a "congenial" lattice of runtime properties; (3) associate a "relevant" …
- Página:
100
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 89358
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
- Artículo:
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
- Autor:
David Van Horn
Matthew Might
- Resumen:
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs remains a difficult and error-prone process for modern high-level …
- Página:
101
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 89359
- Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
- Enlace directo
