443 search results - page 18 / 89 » Secure remote control model for information appliances |
104
click to vote
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
107
click to vote
XMLSEC
2003
ACM
15 years 5 months ago
2003
ACM
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...
105
click to vote
PET
2010
Springer
15 years 3 months ago
2010
Springer
As the amount of personal information stored at remote service providers increases, so does the danger of data theft. When connections to remote services are made in the clear and ...
119
click to vote
ISW
2010
Springer
14 years 9 months ago
2010
Springer
We analyze the Extended Access Control (EAC) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deploym...
107
click to vote
CAI
2006
Springer
14 years 11 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...