Formal Methods for Analyzing Privacy Policies kitap kapağı
Kitap başlığı:

Formal Methods for Analyzing Privacy Policies

Techniques for Formal Representing, Analyzing, and Processing Privacy Policies

LAP LAMBERT Academic Publishing (2011-12-15 )

Books loader

Omni badge kupun için uygun
ISBN-13:

978-3-8473-1824-8

ISBN-10:
3847318241
EAN:
9783847318248
Kitabın dili:
İngilizce
Özet:
With the fast spread of the online services and the huge growth in the collection of users’ private data, there is a growing interest both by governments and enterprises to establish rules and policies for collecting, processing, and storing users’ private data. These somewhat informally written privacy policies must be interpreted carefully in the software interface. To better interpret and analyze privacy policies, we need a language suited to the structure of the privacy policies, capable of supporting privacy policies designing methods like referencing to different locations of the policy text. Another issue of growing interest is exploring the compliance of enterprise designed privacy policies with legal privacy policies, or comparing and contrasting the current policies and checking their proper enforcement. Therefore, there is a need for languages that enable automatic exploration of properties with mechanisms for formally contrasting and comparing privacy policies. This book reviews formal methods application in analyzing privacy policies and investigate their potential to address the above mentioned issues.
Yayınevi:
LAP LAMBERT Academic Publishing
Websitesi:
https://www.lap-publishing.com/
Yazar:
Ali Dehghantanha
Sayfa sayısı:
300
Yayın tarihi:
2011-12-15
Hisse:
Mevcut
Kategori:
Bilişim, BT
Fiyat:
79.00 €
Anahtar kelimeler:
Formal Methods, Privacy Policies, Privacy

Books loader

Bültenler

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Banka Havalesi

  Alışveriş sepetinde 0 ürün var
Sepeti yenile
Loading frontend
LOADING