1403 search results - page 267 / 281 » Security Model for XML Data |
101
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
107
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
101
Voted
DSOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
SPIEVIP
2008
15 years 4 months ago
2008
In this work we propose a method for securing port facilities which uses a set of video cameras to automatically detect various vessel classes moving within buffer zones and off-l...
116
click to vote
DIMVA
2008
15 years 3 months ago
2008
Malicious software in form of Internet worms, computer viruses, and Trojan horses poses a major threat to the security of networked systems. The diversity and amount of its variant...