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.
No copy data
No other version available