Distributed Secure Service Composition with Declassification in Mobile Clouds

Table 1

Basic comparison.

	Approach	Framework	Information; declassifying
Hutter and Volkamer [9]	Type system	Centralized	×
Nakajima [12]	Model checking	Centralized	✓
She et al. [13–15]	Program analysis	Centralized	×
Chou [19]	Program analysis	Distributed	×
Solanki et al. [20]	Program analysis	Distributed	×
Xi et al. [21]	Model checking	Distributed	×
Xi et al. [16]	Program analysis	Distributed	×
This paper	Program analysis	Distributed	✓