781 search results - page 2 / 157 » An Integrated Model for Hybrid Securities |
MJ
2006
13 years 6 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
SACMAT
2006
ACM
13 years 12 months ago
2006
ACM
Delegation of authority is an important process that needs to be captured by any access control model. In role-based access control models, delegation of authority involves delega...
ICWS
2004
IEEE
13 years 7 months ago
2004
IEEE
Web Services constitute a set of technologies that many believe will change the web communication landscape within the next few years. They offer standardized and easy communicati...
ISPEC
2010
Springer
13 years 8 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
AGENTS
2000
Springer
13 years 10 months ago
2000
Springer
