Cited By
View all- (2016)A formal model and analysis of an IoT protocolAd Hoc Networks10.1016/j.adhoc.2015.05.01336:P1(49-57)Online publication date: 1-Jan-2016
- Noor TSheng QZeadally SYu J(2013)Trust management of services in cloud environmentsACM Computing Surveys10.1145/2522968.252298046:1(1-30)Online publication date: 11-Jul-2013
- Aziz BHamilton G(2011)Verifying a delegation protocol for grid systemsFuture Generation Computer Systems10.1016/j.future.2010.12.00327:5(476-485)Online publication date: 1-May-2011