5475 search results - page 1039 / 1095 » Model Driven Security |
117
click to vote
INDOCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
111
Voted
ISI
2003
Springer
15 years 5 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...
89
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
113
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
NOMS
2002
IEEE
15 years 5 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...