A method of verification from the third party view for iot prototype system and its implementational evaluation