283 search results - page 11 / 57 » Software Inspections We Can Trust |
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
—Monitoring a process and its file I/O behaviors is important for security inspection for a data center server against intrusions, malware infection and information leakage. In ...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
ATC
2009
Springer
14 years 2 months ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
IWPC
2010
IEEE
13 years 9 months ago
2010
IEEE
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...
CASSIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...