Detail Buku

Security Requirements Engineering: Designing Secure Socio-Technical Systems

Pengarang : FABIANO DALPIAZ - ELDA PAJA - PAOLO GIORGINI
Lokasi : RESOURCE CENTRE UNIVERSITAS AMIKOM YOGYAKARTA
Tahun : 2018

Share this Book Tweet about this

Deskripsi Buku

Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designing a secure socio-technical system rather than a merely technical system. This book presents a novel, model-driven approach to designing secure socio-technical systems. It introduces the Socio-Technical Modeling Language (STS-ML) and presents a freely available software tool, STS-Tool, that supports this design approach through graphical modeling, automated reasoning capabilities to verify the models constructed, and the automatic derivation of security requirements documents.

After an introduction to security requirements engineering and an overview of computer and information security, the book presents the STS-ML modeling language, introducing the modeling concepts used, explaining how to use STS-ML within the STS method for security requirements, and providing guidelines for the creation of models. The book then puts the STS approach into practice, introducing the STS-Tool and presenting two case studies from industry: an online collaborative platform and an e-Government system. Finally, the book considers other methods that can be used in conjunction with the STS method or that constitute an alternative to it. The book is suitable for course use or as a reference for practitioners. Exercises, review questions, and problems appear at the end of each chapter.

Buku Terkait

Orang Indonesia dan Tanahnya

Cornelis Van Vollenhoven
2013
Perpustakaan STPN

Mahadelta: Manifesto Penguasaan Tanah Terlarang

Dr. P. Seria Lenggono
2015
Perpustakaan STPN

Resonansi Landreform Lokal: Dinamika pengelolaan tanah di desa Karanganyar

Aristiono Nugroho ; Haryo Budhiawan ; Suharno
2013
Perpustakaan STPN

Tanah Hutan Rakyat: Instrumen Kesejahteraan dan Konservasi di Desa Kalimendong

Aristiono Nugroho ; Panjang Suharto
2014
Perpustakaan STPN

Seluk Beluk Masalah Agraria: Reforma Agraria dan Penelitian Agraria

Gunawan Wiradi
2009
Perpustakaan STPN

Pemikiran Agraria Bulaksumur: Telaah Awal Atas Pemikiran Sartono Kartodirdjo,Masri Singaribuan dan M

Ahmad Nashih Luthfi ; Amien Tohari ; Tarli Nugroho
2010
Perpustakaan STPN

Ranah Studi Agraria: Penguasaan Tanah dan Hubungan Agraris

Gunawan Wiradi ; Benjamin White ; William L. Collier ; Soentoro ; Makali ; Chris Manning
2009
Perpustakaan STPN

Land Reform Lokal Ala Ngandagan: Inovasi Sistem Tenurial Adat di Sebuah Desa Jawa, 1947-1964

Mohamad Shohibuddin ; Ahmad Nashih Luthfi
2010
Perpustakaan STPN

Hak Atas Tanah Bagi Orang Asing: Tinjauan Politik Hukum dan Perlindungan Warga Negara Indonesia

FX. Sumarja
2015
Perpustakaan STPN

RaTA: Manual Penilaian Cepat Konflik Pertanahan

Gamma Galudra ; Mertua Sirait ; Gamal Pasya ; Chip Fay ; Suyanto ; Meine Van Noordwijk ; Ujjwal Prad
2013
Perpustakaan STPN

Filosofi, Asas, Ajaran, Teori Hukum Pertanahan dan Agraria

Herman Soesangobeng
2012
Perpustakaan STPN

Dari Tanah Sultan Menuju Tanah Rakyat: Pola Pemilikan, Penguasaan, dan Sengketa Tanah di Kota Yogyak

Nur Aini Setiawati
2011
Perpustakaan STPN

Kembali ke Agraria

Usep Setiawan ; Noer Fauzi ; Dianto Bachriadi
2010
Perpustakaan STPN

Transmisi Nilai-Nilai Pertanahan di Kabupaten Magetan

Aristiono Nugroho ; Suharno
2017
Perpustakaan STPN

Jogja-Ku [Dune Ora] Didol: Manunggaling Penguasa dan Pengusaha Dalam Kebijakan Pembangunan Hotel di

Ardiana Dewi Sesanti
2016
Perpustakaan STPN

Islam dan Agraria: Telaah Normatif dan Historis Perjuangan Islam dalam Merombak Ketidakadilan Agrari

Gita Anggraini
2016
Perpustakaan STPN

Relasi Kuasa Dalam Strategi Pertanahan di Desa Prigelan

Aristiono Nugroho ; Suharno
2016
Perpustakaan STPN

Pengembangan Kebijakan Agraria: Untuk Keadilan Sosial, Kesejahteraan Masyarakat, dan Keberlanjutan E

Tim Riset Sistematis 2010 ; Editor: Laksmi A. Savitri ; Valentina Arminah ; Ahmad Nashih Luthfi ; Am
2010
Perpustakaan STPN

Memahami dan Menemukan Jalan Keluar Dari Problem Agraria dan Krisis Sosial Ekologi

Laksmi Adriani Savitri ; Mohamad Shohibuddin ; Surya Saluang
2009
Perpustakaan STPN

Pengantar Hukum Tata Negara

Dian Aries Mujiburohman
2017
Perpustakaan STPN

Ecotourism Lereng Merapi Pasca Konsolidasi Tanah

Aristiono Nugroho ; Sutaryono
2015
Perpustakaan STPN

Potret Perjuangan Bapak Hukum Agraria Prof. Boedi Harsono

Oloan Sitorus ; Taufik Nur Huda
2011
Perpustakaan STPN

Tanah Bagi yang Tak Bertanah: Landreform Pada Masa Demokrasi Terpimpin 1960-1965

Andi Achdian
2008
Perpustakaan STPN

Land Reform Dari Masa Ke Masa: Perjalanan Kebijakan Pertanahan 1945-2009

Noer Fauzi Rachman
2012
Perpustakaan STPN

Perjuangan Landreform Masyarakat Perkebunan Partisipasi Politik, Klaim, dan Konlik Agraria di Jember

Tri Chandra Aprianto
2016
Perpustakaan STPN

Land Grabbing: Bibliografi Beranotasi

Dwi Wulan Pujiriyani ; Vegitya Ramadhani Putri ; Muhammad Yusuf ; Muhammad Bahtiar Ariin
2014
Perpustakaan STPN

Konflik Agraria di Urutsewu: Pendekatan Ekologi Politik

Devy Dhian Cahyati
2014
Perpustakaan STPN

Konsolidasi Tanah, Tata Ruang, dan Ketahanan Nasional

Oloan Sitorus
2015
Perpustakaan STPN

Tinjauan Kritis Regulasi dan Implementasi Kebijakan P3MB

Jarot Widya Muliawan
2014
Perpustakaan STPN

Mereka yang Dikalahkan: Perampasan Tanah dan Resistensi Masyarakat Pulau Padang

M. Nazir Salim
2017
Perpustakaan STPN

Pengakuan dan Perlindungan Hak Atas Tanah Masyarakat Hukum Adat di Kawasan Hutan

Dyah Ayu Widowati ; Ahmad Nashih Luthfi ; I Gusti Nyoman Guntur
2014
Perpustakaan STPN

Konstitusionalisme Agraria

Yance Arizona
2014
Perpustakaan STPN

MP3EI: Master Plan Percepatan dan Perluasan Krisis Sosial-Ekologis Indonesia

Dian Yanuardy ; Swanvri ; Muntaza ; Didi Novrian ; Bambang T. Dahana ; Abu Mufakhir ; Syarif Arifin
2014
Perpustakaan STPN

Pembentukan Kebijakan Reforma Agraria 2006-2007 - Bunga Rampai Perdebatan

Mohamad Shohibuddin ; M. Nazir Salim
2013
Perpustakaan STPN

Melacak Sejarah Pemikiran Agraria: Sumbangan Pemikiran Mazhab Bogor

Ahmad Nashih Luthfi
2011
Perpustakaan STPN

Kronik Agraria Indonesia: Memperluas Imajinasi Lintas Zaman, Sektor dan Aktor

Ahmad Nashih Luthfi ; M. Fauzi ; Razif
2010
Perpustakaan STPN

Gerakan-Gerakan Agraria Transnasional

Saturnino M Borras Jr ; Marc Edelman ; Christobal Kay
2010
Perpustakaan STPN

Masalah Agraria Sebagai Masalah Penghidupan dan Kemakmuran Rakyat Indonesia

Mochammad Tauchid
2009
Perpustakaan STPN

Keistimewaan Yogyakarta: Yang Diingat dan Yang Dilupakan

Ahmad Nashih Luthfi ; M. Nazir S ; Amin Tohari ; Dian Andika Winda ; Diar Candra Tristiawan
2009
Perpustakaan STPN

Asas-asas Keagrariaan: Merunut Kembali Riwayat Kelembagaan Agraria, Dasar Keilmuan Agraria, dan Asas

Tim Peneliti STPN 2014 ; Penyunting: Ahmad Nashih Luthfi
2014
Perpustakaan STPN

Jalan Penyelesaian Persoalan Agraria: Tanah Bekas Hak, Pengakuan Hukum Adat, Penataan Tanah Batam, P

Tim Peneliti Sistematis STPN 2016 ; Penyunting: M. Nazir Salim
2016
Perpustakaan STPN

Reforma Kelembagaan dan Kebijakan Agraria (Hasil Penelitian Strategis STPN 2015)

Tim Peneliti Srategis STPN 2015 ; Penyunting: Widhiana H. Puri
2015
Perpustakaan STPN

Penanganan Sengketa dan Konflik Pertanahan: Hasil Penelitian Strategis STPN 2013

Tim Peneliti STPN ; Editor: Dwi Wulan Pujiriyani ; Widhiana Hestining Puri
2013
Perpustakaan STPN

Penataan dan Pengelolaan Pertanahan yang Mensejahterakan Masyarakat: Hasil Penelitian Strategis PPPM

Tim Peneliti STPN ; Editor: Dwi Wulan Pujiriyani ; Widhiana Hestining Puri
2015
Perpustakaan STPN

Sejarah/Geografi Agraria Indonesia

Razif ; M. Fauzi ; Noer Fauzi Rachman ; Hilmar Farid
2017
Perpustakaan STPN

Integrasi Agraria-Pertanahan dan Tata Ruang: Menyatukan Status Tanah dan Fungsi Ruang

Sofi Puspasari ; Sutaryono
2017
Perpustakaan STPN

Regulasi Pertanahan dan Semangat Keadilan Agraria

Prof. Dr. Maria SW Sumardjono., S.H., MCL., MPA.
2018
Perpustakaan STPN

Model Spasial Penggunaan Lahan Pertanian Berkelanjutan di Kecamatan Kledung Kabupaten Temanggung

Valentina Arminah
2012
Perpustakaan STPN

Tanah Negara (Edisi Revisi)

Julius Sembiring, S.H., MPA.
2016
Perpustakaan STPN

Kondisi dan Perubahan Agraria Desa Ngandagan di Jawa Tengah Dulu dan Sekarang

Ahmad Nashih Luthfi ; Razif ; Bayu Eka Yulian ; Aristiono Nugroho ; Endah Cahya Immawati ; Tyas Retn
2013
Perpustakaan STPN

Arah Baru Pendidikan Tinggi Agraria: Ruang Belajar STPN Menapaki Pengembangan Kader Birokrasi Pertan

Endriatmo Soetarto ; Dwi Wulan Pujiriyani ; Sutaryono
2013
Perpustakaan STPN

Pendaftaran Tanah Sistematis Lengkap: Proses dan Evaluasi Program Prioritas (Hasil Penelitian Sistem

I Gusti Nyoman Guntur ; Wahyuni ; Nuraini Aisiyah
2017
Perpustakaan STPN

Ngandagan Kontemporer: Implikasi Sosial Landreform Lokal

Aristiono Nugroho ; Haryo Budhiawan
2011
Perpustakaan STPN

Seputar Hak Pengelolaan

Arie Sukanti Hutagalung ; Oloan Sitorus
2011
Perpustakaan STPN