4693 search results - page 39 / 939 » Verifying Hybrid Systems |
82
Voted
ECEASST
2008
15 years 17 days ago
2008
fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...
121
Voted
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
101
Voted
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
84
Voted
CCS
2010
ACM
15 years 21 days ago
2010
ACM
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
80
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...