5475 search results - page 948 / 1095 » Model Driven Security |
162
click to vote
SEFM
2007
IEEE
16 years 18 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
185
click to vote
SRDS
2007
IEEE
16 years 18 days ago
2007
IEEE
A cooperative structured peer-to-peer file-sharing system requires that the nodes participating in the system need to maintain the location mappings of other nodes. However, the s...
171
click to vote
ACNS
2007
Springer
16 years 15 days ago
2007
Springer
In a proxy re-encryption scheme a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for Bob without seeing the underlying plaintext. A number of solutions have ...
164
click to vote
ICCS
2007
Springer
16 years 14 days ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
162
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...