Sciweavers

5255 search results - page 3 / 1051
» Formal Methods for Privacy
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 4 months 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
15 years 2 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
15 years 4 months ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...