Geri Dön

Java Card yazılımlarının otomatik üretilmesi için bir yöntem

A methodology for the automatic generation of Java Card software

PDF İndir

  1. Tez No: 409961
  2. Yazar: MİRAY TOSUN
  3. Danışmanlar: DOÇ. DR. GEYLANİ KARDAŞ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2015
  8. Dil: Türkçe
  9. Üniversite: Ege Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Uluslararası Bilgisayar Ana Bilim Dalı
  12. Bilim Dalı: Bilgi Teknolojileri Bilim Dalı
  13. Sayfa Sayısı: 130

Özet

Java Card platformu ve beraberinde gelen uygulama programlama arayüzü akıllı kart uygulamalarının geniş kullanıma sahip Java programlama dili ile nesne yönelimli olarak geliştirilmesine imkan vermektedir. Ancak işlemci ve bellek yönünden oldukça kısıtlı olan bu kartlar için sadece Java dilinin bir alt kümesi kullanılabilmektedir ve geliştiriciler bilgisayar ve akıllı kart arasındaki paket alışverişi için alt seviye bir protokolün detay ve kısıtları ile uğraşmak durumundadırlar. Bu tez çalışması kapsamında Java Card uygulamalarının geliştirilmesinde görülen bu zorlukları gidermek amacıyla kart üzeri uygulamaların model güdümlü geliştirilmesine imkan veren DSL4JavaCard isimli bir alana özgü dil tüm bileşenleri ile birlikte geliştirilmiştir. Dilin soyut sözdiziminin dayandığı üstmodel ve modelleme aşamasında bir takım kısıtların kontrol edilmesini sağlayan somut sözdizimi tanımlandıktan sonra DSL4JavaCard modellerinden Java Card uygulama kodları otomatik olarak elde edilebilmektedir. Ayrıca önerilen dilin durum çalışması üzerinden kullanımının örneklendirilmesi ve değerlendirmesi yine bu tez içerisinde yer almaktadır. Değerlendirmeler sonucunda DSL4JavaCard'ın ilgili literatürde yer alan önceki çalışmalardan farklı olarak özellikle Java Card güvenlik bileşenlerinin de model güdümlü geliştirilebilmesine imkan verdiği ve işletimsel semantiğinin temel Java Card bileşenlerinin tamamının, kullanıcı tanımlı ve iş uygulamasına özel öğelerin ise önemli bir kısmının otomatik üretilmesini sağladığı görülmüştür.

Özet (Çeviri)

Java Card platform enables the object-oriented design and implementation of smart card applications. However, only a subset of Java programming language can be used due to limited processing and storage capabilities of these devices. Further, developers are forced to deal with the constraints and details of a low-level communication protocol for the packet transmission between smart cards and host computers. In order to eliminate those difficulties of Java Card software development and support the model-driven development of on-card applications, a domain-specific language, called DSL4JavaCard has been developed in this thesis study. The definition of both a metamodel for the language's abstract syntax and a concrete syntax for checking some contraints during smart card software modelling in the thesis paves the way of automatic generation of Java Card application codes from DSL4JavaCard instance models. In addition, case study-based exemplification of the language usage and evaluation are also provided in the thesis. Achieved results show that DSL4JavaCard differentiates from the previous related work specifically by enabling the model-driven development of Java Card security components. Moreover, it is experienced that operational semantics of the language succeeds in automatic generation of all fundamental Java Card components required in a smart card application while providing the automatic generation of most of the user-defined components and code blocks specific to the bussiness domain of the smart card application.

Benzer Tezler

  1. Tez No

    285212

    Akıllı kart yazılımlarının model güdümlü geliştirilmesi

    Model based engineering for the development of smart card software

    HİDAYET BURAK SARITAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2011

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Uluslararası Bilgisayar Ana Bilim Dalı

    YRD. DOÇ. DR. GEYLANİ KARDAŞ

  2. Tez No

    202535

    Java card based security application module

    Java card tabanlı güvenlik uygulama modülü

    SONER SEZGİN

    Yüksek Lisans

    İngilizce

    İngilizce

    2006

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. YALÇIN ÇEBİ

  3. Tez No

    672347

    Secure pin authentication in java smart card using honey encryption

    Başlık çevirisi yok

    SADEQ SARHAN MOHAMMED

    Yüksek Lisans

    İngilizce

    İngilizce

    2020

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAltınbaş Üniversitesi

    Bilişim Teknolojileri Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ SEFER KURNAZ

  4. Tez No

    179140

    Akıllı kart tabanlı uzaktan kimlik doğrulama sistemi tasarımı

    Smart card based remote authentication system design

    ESMA ERGÜNER ÖZKOÇ

    Yüksek Lisans

    Türkçe

    Türkçe

    2008

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolGebze Yüksek Teknoloji Enstitüsü

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. İBRAHİM SOĞUKPINAR

  5. Tez No

    560643

    Çok amaçlı akıllı kimlik kartı uygulaması geliştirilmesi

    Multi-purpose smart id card system development

    YOUSSOUF IBRAHIM DJALAL

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolErciyes Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ BİLAL BABAYİĞİT

Geri Dön