Identification and Remediation of Vulnerabilities in IoT based Health Monitor

Internet of Things (IoT) changes the trend “Connect the unconnected” likes human or environmental and technical interactions, interactions among the machines through Radio Networks, Sensor Networks and many more simple devices like fitbits, thermostats etc. Besides this, they are highly prone to vulnerable due to its open and heterogeneous nature. To secure IoT Applications, we proposed a methodology called “Process to enhance software security” (PESS) method. The main Moto of PESS is to design Security aware Software Development Life Cycle (Sa-SDLC). In PESS methodology we are applying and assessing the secure assurance activities and security patterns. In our work, we have applied secure assurance activities and secure adapter pattern for securing user information of IoT based Health Monitor Application. Our PESS methodology accomplished the security implementation faults identification and remediation at early phases of IoT application development life cycle.

Download Full-text

A Systematic Review and Catalog of Security Metric during the Secure Software Development Life Cycle

Recent Advances in Electrical & Electronic Engineering (Formerly Recent Patents on Electrical & Electronic Engineering) ◽

10.2174/2352096513999201201121823 ◽

2020 ◽

Vol 13 ◽

Author(s):

Sampada G.C ◽

Tende Ivo Sake ◽

Amrita

Keyword(s):

Systematic Review ◽

Life Cycle ◽

Software Development ◽

Software Security ◽

Security Assessment ◽

Security Metrics ◽

Development Life Cycle ◽

Development Processes ◽

Secure Software Development ◽

Software Development Life Cycle

Background: With the advancement in the field of software development, software poses threats and risks to customers’ data and privacy. Most of these threats are persistent because security is mostly considered as a feature or a non-functional requirement, not taken into account during the software development life cycle (SDLC). Introduction: In order to evaluate the security performance of a software system, it is necessary to integrate the security metrics during the SDLC. The appropriate security metrics adopted for each phase of SDLC aids in defining the security goals and objectives of the software as well as quantify the security in the software. Methods: This paper presents systematic review and catalog of security metrics that can be adopted during the distinguishable phases of SDLC, security metrics for vulnerability and risk assessment reported in the literature for secure development of software. The practices of these metrics enable software security experts to improve the security characteristics of the software being developed. The critical analysis of security metrics of each phase and their comparison are also discussed. Results: Security metrics obtained during the development processes help to improve the confidentiality, integrity, and availability of software. Hence, it is imperative to consider security during the development of the software, which can be done with the use of software security metrics. Conclusion: This paper reviews the various security metrics that are meditated in the copious phases during the progression of the SDLC in order to provide researchers and practitioners with substantial knowledge for adaptation and further security assessment.

Download Full-text

Towards a Life Cycle for IoT Applications Development

10.36227/techrxiv.14906277.v1 ◽

2021 ◽

Author(s):

Deepika Prakash ◽

Naveen Prakash

Keyword(s):

Life Cycle ◽

External World ◽

Systems Development ◽

Design Stage ◽

Application Development ◽

Agent Model ◽

Iot Applications ◽

Input Processing ◽

Development Life Cycle ◽

Information And Communication

An IoT system is specified in terms of sensors/actuators and communication between them. However, we argue for performing upstream activities of the Systems Development Life Cycle during IoT application development. We propose the conceptual design stage followed by conversion to an IoT system and show that we need concepts for autonomy, perception, input processing, changing the external world, maintenance of historical information and communication. To handle these, we use the notion of communicative agents, COMMAGs and develop the Communicative Agent Model. We show conversion of this model into the IoT system to be.

Download Full-text

Pengembangan Game Cerita Rakyat Bali Rare Angon Berbasis Android

Kumpulan Artikel Mahasiswa Pendidikan Teknik Informatika (KARMAPATI) ◽

10.23887/karmapati.v7i2.15277 ◽

2018 ◽

Vol 7 (2) ◽

pp. 94

Author(s):

I Wayan Dedy Budiarta . ◽

I Ketut Resika Arthana, S.T.,M.Kom. . ◽

I Gede Mahendra Darmawiguna, S.Kom., M.S .

Keyword(s):

Life Cycle ◽

Software Development ◽

Test Results ◽

Application Development ◽

Public Response ◽

The Public ◽

Content Expert ◽

Development Life Cycle ◽

Software Development Life Cycle ◽

Original Story

Untuk meningkatkan pengetahuan masyarakat tentang cerita rakyat Bali khususnya cerita Rare Angon, diperlukan adanya inovasi dalam cara penyajian cerita rakyat Bali agar menarik minat masyarakat. Salah satunya dengan bantuan media yang inovatif dan menyenangkan seperti game. Penelitian ini bertujuan: (1) untuk merancang dan mengimplementasikan Game Cerita Rakyat Bali Rare Angon Berbasis Android. (2) untuk mengetahui respon pengguna terhadap Game Cerita Rakyat Bali Rare Angon Berbasis Android. Metode penelitian yang digunakan adalah Software Development Life Cycle. Game Cerita Rakyat Bali Rare Angon Berbasis Android ini dikembangkan menggunakan model RAD. Subyek penelitian adalah masyarakat umum dengan menggunakan angket. Data yang dikumpulkan dianalisis secara deskriptif. Hasil penelitian ini adalah aplikasi yang diimplementasikan menggunakan bahasa pemrograman C# dengan editor Unity. Game yang dihasilkan sudah sesuai dengan alur cerita aslinya. Seluruh fitur yang terdapat pada Game Cerita Rakyat Bali Rare Angon Berbasis Android ini sudah berjalan dengan baik. Hasil uji ahli media memperoleh persentase sebesar 84% yang berarti usability aplikasi dalam rentangan baik. Hasil uji ahli isi mendapat hasil 100% yang berarti cerita dalam game sudah akurat dan sesuai dengan cerita aslinya.Respon pengguna terhadap Game Cerita Rakyat Bali Rare Angon Berbasis Android masuk dalam rentangan sangat baik.Kata Kunci : Game, Cerita Rakyat Bali, Rare Angon, Android To Improve public knowledge about Balinese folklore especially Rare Angon story, an innovation was needed in how to present Balinese folklore to attract the public interest. One of them is innovative and fun media such as games. This Research aimed to: (1) to design and to implement Android Based Game of Balinese Folktale Rare Angon. (2) To know the users response to Android Based Game of Balinese Folktale Rare Angon. The method used in this research was Software Development Life Cycle. Android Based Game of Balinese Folktale Rare Angon was developed using RAD Model. Subjects in this research were the public. The data that collected in this research was the data of public response to application development of Android Based Game of Balinese Folktale Rare Angon using a questionnaire. The data that has been collected were analyzed descriptively. The results of this research are the application that implemented using C# programming language with Unity Editor. This game is made perfectly fit to the origin story. All of features contained in Android Based Game of Balinese Folktale Rare Angon are functioning properly. Media Expert test results obtained a percentage of 84% which means usability of the application in a good range. Content Expert test results get 100% which means the story in the game is accurate and in accordance with the original story. User responses to Android Based Game of Balinese Folktale Rare Angon belong in a very good range.keyword : Game, Balinese Foktale, Rare Angon, Android

Download Full-text

RANCANG BANGUN APLIKASI E-LIBRARY FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH TANGERANG

JIKA (Jurnal Informatika) ◽

10.31000/jika.v4i3.3652 ◽

2020 ◽

Vol 4 (3) ◽

pp. 64

Author(s):

Syepry Maulana ◽

Lukman Azhari ◽

Rohmat Taufiq ◽

Atika Rahma

Keyword(s):

Life Cycle ◽

Software Development ◽

Application Development ◽

Rapid Application Development ◽

Development Life Cycle ◽

Software Development Life Cycle

Aplikasi e-Library Fakultas Teknik adalah sebuah aplikasi yang digunakan untuk membantu bagian Perpustakaan melakukan pengelolaan data dan transaksi pada Perpustakaan Fakultas Teknik Universitas Muhammadiyah Tangerang. Aplikasi ini digunakan oleh petugas agar lebih mudah dalam melakukan pencatatan peminjaman dan pengembalian buku dalam memantau buku yang tersedia dan dipinjam. Aplikasi ini dibuat dengan menggunakan metode pengembangan sistem Software Development Life Cycle (SDLC) dengan model Rapid Application Development (RAD). Pembangunan aplikasi ini berupa aplikasi Android yang dapat diakses oleh anggota perpustakaan dan terhubung dengan aplikasi Website yang diakses oleh petugas perpustakaan. Aplikasi angroid dibangun menggunakan Bahasa pemrograman PHP dengan Framework Codeigniter dan aplikasi Android menggunakan Bahasa pemrograman Dart dengan Framework Flutter. Sedangkan dalam metode pengujian sistem menggunakan pengujian blackbox testing.Kata kunci: Perpustakaan, Aplikasi e-Library, Android, RAD

Download Full-text

Formal methods in software development: A road less travelled

South African Computer Journal ◽

10.18489/sacj.v45i0.33 ◽

2010 ◽

Vol 45 ◽

Cited By ~ 1

Author(s):

John A Van der Poll

Keyword(s):

Life Cycle ◽

Software Development ◽

Formal Methods ◽

Formal Specification ◽

The Other ◽

Formal Specifications ◽

Development Life Cycle ◽

Software Development Life Cycle ◽

Verification Techniques ◽

Early Phases

An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.

Download Full-text