Title :
A Verification Service Architecture for the Future Internet
Author :
Babaoglu, Ahmet Can ; Dutta, Ritaban
fDate :
July 30 2013-Aug. 2 2013
Abstract :
In this paper, we propose a service architecture for verification, a necessary component of a choice-based economy architecture of the future Internet. Such a verification architecture motivates and addresses the task of enabling users to verify, or obtain third-party verification of, whether the service components offered by various network service providers were responsible for meeting or failing to meet overall service expectations. To be useful, such an architecture must allow viable business propositions for each of the principals, and provide meaningful results at reasonable cost and overhead. We articulate the architectural decisions, requirements, roles and interfaces. We then describe a proof-of-concept prototype realized in NS- 3. Finally, we make observations contrasting our results with previous approaches and discuss the implementation challenges to realize this work in practice.
Keywords :
Internet; formal verification; architectural decisions; choice based economy architecture; future Internet; network service providers; third party verification; verification service architecture; viable business propositions; Computer architecture; Contracts; IP networks; Internet; Measurement; Ports (Computers);
Conference_Titel :
Computer Communications and Networks (ICCCN), 2013 22nd International Conference on
Conference_Location :
Nassau
Print_ISBN :
978-1-4673-5774-6
DOI :
10.1109/ICCCN.2013.6614096