Text

Principles of Security and Trust; 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

---

Volume ini berisi makalah-makalah yang dipresentasikan pada POST 2015: Konferensi ke-4 tentang Prinsip-prinsip Keamanan dan Kepercayaan, yang diadakan selama 16-17 April 2015 di London, Inggris. Prinsip Keamanan dan Kepercayaan adalah forum luas yang terkait dengan aspek teoretis dan mendasar dari keamanan dan kepercayaan. Makalah dari berbagai jenis diterima: hasil teoretis baru, aplikasi praktis dari ide-ide dasar yang ada, dan pendekatan teoretis inovatif yang dirangsang dengan menekan masalah-masalah praktis. POST dibuat pada tahun 2012 untuk menggabungkan dan menggantikan sejumlah lokakarya yang berhasil dan sudah berlangsung lama di bidang ini: Penalaran Otomatis dan Analisis Protokol Keamanan (ARSPA), Aspek Formal Keamanan dan Kepercayaan (FAST), Keamanan dalam Konkurensi (SecCo), dan Lokakarya tentang Isu-isu dalam Teori Keamanan (WITS). Sebagian dari acara ini bertemu bersama sebagai acara yang berafiliasi dengan ETAPS 2011 dengan nama Theory of Security and Applications (TOSCA). Ada 57 pengajuan untuk POST 2015, termasuk 55 makalah penelitian dan dua makalah demonstrasi alat. Setiap pengajuan ditinjau oleh tiga anggota Komite Program, yang dalam banyak kasus meminta bantuan ahli dari luar untuk meninjau makalah. Diskusi elektronik digunakan untuk memutuskan makalah mana yang akan dipilih untuk program tersebut. Makalah-makalah yang muncul dalam jilid ini mungkin berbeda dengan pengajuan awal; diharapkan beberapa akan direvisi lebih lanjut dan diserahkan untuk diterbitkan dalam jurnal kearsipan wasit. Panitia memutuskan untuk menerima 17 makalah. Selain makalah-makalah tersebut, volume tersebut mencakup kontribusi dari pembicara undangan POST Catuscia Palamidessi, yang juga merupakan salah satu pembicara pemersatu ETAPS. Kami ingin mengucapkan terima kasih kepada anggota Panitia Program, Re - viewer Eksternal, Panitia Pengarah POST, Panitia Pengarah ETAPS, dan Panitia Penyelenggara Lokal, yang semuanya berkontribusi terhadap keberhasilan POST 2015. Kami juga berterima kasih kepada semua penulis makalah yang dikirimkan atas minat mereka pada POSTING dan mengucapkan selamat kepada penulis makalah yang diterima. Terakhir, kami mengucapkan terima kasih atas penggunaan EasyChair untuk mengatur proses pengajuan, kerja Panitia Program, dan penyusunan buku ini.

---

Availability

No copy data

Detail Information

Series Title

Catatan Kuliah dalam Ilmu Komputer

Call Number

005.8 FOC p

Publisher

London, UK : Springer., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-662-46666-7

Classification

005.8

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

9036

Subject(s)

Keamanan Komputer
Keamanan Data

Specific Detail Info

-

Statement of Responsibility

Riccardo Focardi, Andrew Myers

Other Information

Cataloger

Erwin

Source

https://link.springer.com/10.1007/978-3-662-46666-7

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment