392 search results - page 64 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
VLSID
2001
IEEE
14 years 10 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
SDMW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
NDSS
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
CSIE
2009
IEEE
13 years 11 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...