Sciweavers

Share
13 search results - page 3 / 3
» Model-Driven Security Policy Deployment: Property Oriented A...
Sort
View
JUCS
2010
130views more  JUCS 2010»
8 years 5 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
GPCE
2007
Springer
9 years 4 months ago
Aspects of availability
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
Pascal Fradet, Stéphane Hong Tuan Ha
IACR
2016
130views Biometrics» more  IACR 2016»
3 years 6 months ago
Anonymous Role-Based Access Control on E-Health Records
Electronic Health Record (EHR) system facilitates us a lot for health record management. Privacy risk of patients’ records is the dominating obstacle in the widely deployed EHRs...
Xingguang Zhou, Jianwei Liu, Weiran Liu, Qianhong ...
books