Formal specification of fragmentation and reassembly in IPv6
Başlık çevirisi mevcut değil.
- Tez No: 400116
- Danışmanlar: DR. JAMES F. LEATHRUM, JR.
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1997
- Dil: İngilizce
- Üniversite: Old Dominion University
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- 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
- Sorgulama optimizasyonunda SQL kullanımı ve bir uygulama
Using SQL in qvery optimization and an example
SEMRA ÇATALBAŞ
- 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
1997
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. EMRE HARMANCI
- Specification and formal verification of fuzzy information processing for the case of edge detection
Kenar algılama durumu icin bulanık bilgi işlemenin belirlenmesi ve resmi olarak doğrulanması
KEMAL KESKİN
Yüksek Lisans
İngilizce
2009
Elektrik ve Elektronik MühendisliğiNortheastern UniversityElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MİECZYSLAW MİTCH KOKAR
- 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
2003
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. HALİT OĞUZTÜZÜN
- 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
2011
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET UFUK ÇAĞLAYAN