Ahmet Can Babaoglu, Rudra Dutta. A Verification Service Architecture for the Future Internet. In 22nd International Conference on Computer Communication and Networks, ICCCN 2013, Nassau, Bahamas, July 30 - Aug. 2, 2013. pages 1-9, IEEE, 2013. [doi]
Abstract is missing.