Geri Dön

Formal specification of fragmentation and reassembly in IPv6

Başlık çevirisi mevcut değil.

PDF İndir

  1. Tez No: 400116
  2. Yazar: İBRAHİM ŞAHİN
  3. Danışmanlar: DR. JAMES F. LEATHRUM, JR.
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 1997
  8. Dil: İngilizce
  9. Üniversite: Old Dominion University
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 115

Özet

Özet yok.

Özet (Çeviri)

Development and implementation of a networking standard such as the newInternet Protocol (IPv6) is a very dicult process. Dierent implementations ofthe standard must be fully compatible to allow dierent computers to communicatewith each other. However, standards are often ambiguous, frequently a result ofproviding specications in the English language. A more formal specication couldassist in the design of systems. This thesis demonstrates that capability using thePrototype Verication System (PVS).In this thesis study, a formal specication for fragmentation and reassembly inIPv6 was created to provide a tool for the standardization of IPv6 using PVS. Theuser of the specication can employ it in verifying the design of his implementation.The user can pass his function implementations to the specication as parameters.The specication requires the user to provide certain properties of his functions.

Benzer Tezler

  1. Tez No

    39827

    Sorgulama optimizasyonunda SQL kullanımı ve bir uygulama

    Using SQL in qvery optimization and an example

    SEMRA ÇATALBAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    1994

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    PROF. DR. MİTHAT UYSAL

  2. Tez No

    66486

    Windows sistemler için ağ dosya sistemi müşteri programı

    Network file systems client program for windows systems

    İLTER İNANÇ

    Yüksek Lisans

    Türkçe

    Türkçe

    1997

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Kontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. EMRE HARMANCI

  3. Tez No

    143422

    Deriving a dynamic programming algorithm for batch scheduling in the refinement calculus

    Toplu iş çizelgeleme için bir dinamik programlama algoritmasının inceltme kalkülüsünde türetimi

    İREM AKTUĞ

    Yüksek Lisans

    İngilizce

    İngilizce

    2003

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. HALİT OĞUZTÜZÜN

  4. Tez No

    297863

    FPFM: A formal specification and verification framework for security policies in multi-domain mobile networks

    FPFM: Çok etki alanlı gezgin ağlarda güvenlik politikaları betimleme ve doğrulama çerçevesi

    DEVRİM ÜNAL

    Doktora

    İngilizce

    İngilizce

    2011

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. MEHMET UFUK ÇAĞLAYAN

  5. Tez No

    50014

    Implementation of parallel nested transaction for nested rule execution in active oatabases

    Paralel iç içe yuvarlanmış hareketlerin aktif veri tabanı kurallarının işleme konmasında uygulanması

    SAYGIN YÜCEL

    Yüksek Lisans

    İngilizce

    İngilizce

    1996

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Y.DOÇ.DR. ÖZGÜR ULUSOY

Geri Dön