Distributed Secure Service Composition with Declassification in Mobile Network

摘要: The regional and heterogeneous characteristic of mobile network pose a great challenge on information flow security during service composition. Although secure verification approaches based standard noninterference provide solid assurance composite service, too strict constraints components may cause the failure composition procedure. In order to ensure availability we specify declassification policies cryptographic operations allow data be legally declassified. And improved distributed framework approach built these are proposed, which can realize that nodes cooperate with each other complete Through experiment evaluation, it indicates our provides more reliable efficient way for in network.