12478 search results - page 93 / 2496 » Secure Interaction Design |
164
click to vote
ISSA
2004
15 years 7 months ago
2004
: Web services are generally accepted as the most interoperable application interface today on the Web. In the context of a global electronic marketplace this is an essential facto...
158
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
145
click to vote
SECURWARE
2007
IEEE
16 years 14 days ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
131
click to vote
FUIN
2008
15 years 6 months ago
2008
We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in ...
173
click to vote
SP
2008
IEEE
16 years 17 days ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...