Vitalsource Technologies, Inc. Formal Aspects Of Security And Trust