5475 search results - page 833 / 1095 » Model Driven Security |
209
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Trust plays important roles in diverse decentralized environments, including our society at large. Computational trust models help to, for instance, guide users’ judgements in o...
179
click to vote
ACSC
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
169
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
174
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
183
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— Virtual Private Networks (VPN) provide a secure and reliable communication between customer sites over a shared network. With increase in number and size of VPNs, providers nee...