Buscar
Mostrando ítems 1-10 de 52
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...
Weakest precondition reasoning for expected runtimes of randomized algorithms
(Association for Computing Machinery, 2018)
This article presents a wp–style calculus for obtaining bounds on the expected runtime of randomized algorithms. Its application includes determining the (possibly infinite) expected termination time of a randomized
algorithm ...
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
Generación de monitores C embebidos para especificaciones Lola
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2022)
JCML: A specification language for the runtime verification of Java Card programs
(Elsevier, 2010-03-19)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical,highly distributed, mobile ...
Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
(Facultad de Ingeniería, 2015)
Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
(Facultad de Ingeniería, 2015)
RVSec : Runtime verification methods for high precision detection of cryptography API misuse
(2022-11-04)
O uso incorreto de APIs de criptografia pode causar vulnerabilidades em software. Portanto, recentemente, foram propostas ferramentas baseadas em análise estática para detecção de mau uso. Estes detectores encontram diversos ...
Dependability verification for contextual/runtime goal modelling
(2015-05-14)
Um contexto de operação estático não é a realidade para muitos sistemas de software atualmente. Variações de contextos impõe novos desafios ao desenvolvimento de sistemas seguros, o que inclui a ativação de falhas apenas ...
Towards practical runtime verification and validation of self-adaptive software systems
(Springer VerlagFacultad de IngenieríaIngeniería TelemáticaDepartamento Tecnologías de Información y Comunicaciones, 2010-10-29)