5475 search results - page 745 / 1095 » Model Driven Security |
138
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
176
click to vote
ICIC
2009
Springer
16 years 1 months ago
2009
Springer
Recently, proxy re-encryption scheme received much attention. In this paper, we propose a proxy re-encryption used for divert ciphertext from one group to another. The scheme is bi...
134
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Technology adoption is well defined in e-business. The environment within which leaders must act in government is significantly different that that navigated by business leaders. ...
170
click to vote
TES
2005
Springer
16 years 4 days ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
139
click to vote
ISI
2004
Springer
16 years 20 hour ago
2004
Springer
We describe a model for real-time communication exchange in public forums, such as newsgroups and chatrooms, and use this model to develop an efficient algorithm which identifies...