Title :
Table of contents
fDate :
June 30 2014-July 2 2014
Abstract :
The following topics are dealt with: program slicing; virtual machine; fault tolerance; embedded real-time systems; software structure; anomaly detection; information assurance; trustworthy computing; SSCPS; data structures; load scheduling; cyber-physical systems; proof system; process algebra; HSCD; security analysis; MAC protocol; cache hit rate; and system reliability.
Keywords :
access protocols; cache storage; data structures; process algebra; program slicing; real-time systems; reliability; scheduling; security of data; theorem proving; trusted computing; virtual machines; HSCD; MAC protocol; SSCPS; SSIRI-C; anomaly detection; cache hit rate; cyber-physical systems; data structures; embedded real-time systems; fault tolerance; information assurance; load scheduling; process algebra; program slicing; proof system; reliability companion; security analysis; software security; software structure; system reliability; trustworthy computing; virtual machine;
Conference_Titel :
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on
Conference_Location :
San Francisco, CA
DOI :
10.1109/SERE-C.2014.4
