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