Sciweavers

5255 search results - page 3 / 1051
» Formal Methods for Privacy
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 8 days ago
On the Semantics of Purpose Requirements in Privacy Policies
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
Michael Carl Tschantz, Anupam Datta, Jeannette M. ...
ACISP
1997
Springer
13 years 10 months ago
A Method to Implement a Denial of Service Protection Base
Denial of service attack is an attempt from any authorized or unauthorized entity to allocate resources excessively to prevent normal operation of the system. A method will be pres...
Jussipekka Leiwo, Yuliang Zheng
CSFW
2008
IEEE
14 years 7 days ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...