392 search results - page 41 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
TRUSTBUS
2007
Springer
14 years 4 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
EDOC
2009
IEEE
14 years 5 months ago
2009
IEEE
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
KDD
2009
ACM
14 years 11 months ago
2009
ACM
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...
WISA
2007
Springer
14 years 4 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...