• DocumentCode
    3253546
  • Title

    A Verification Service Architecture for the Future Internet

  • Author

    Babaoglu, Ahmet Can ; Dutta, Ritaban

  • fYear
    2013
  • fDate
    July 30 2013-Aug. 2 2013
  • Firstpage
    1
  • Lastpage
    9
  • 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);
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Communications and Networks (ICCCN), 2013 22nd International Conference on
  • Conference_Location
    Nassau
  • Print_ISBN
    978-1-4673-5774-6
  • Type

    conf

  • DOI
    10.1109/ICCCN.2013.6614096
  • Filename
    6614096