Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010
The present volume contains the proceedings of the seventh international workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, Italy, 16–17 September 2010, as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010).
FAST aims to foster cooperation among... | | | | Digital Preservation for Heritages: Technologies and Applications
Cultural heritages include rich information related to social, historical and
cultural values. Affected by climate, environmental and other factors, some
valuable heritage information is threatened through destruction or disappearance,
and some is still not utilized sufficiently. How to investigate and utilize
such information... |