DocumentCode
240853
Title
Table of contents
fYear
2014
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on
Conference_Location
San Francisco, CA
Type
conf
DOI
10.1109/SERE-C.2014.4
Filename
6901622
Link To Document