5843 search results - page 992 / 1169 » Software Security in Practice |
143
click to vote
ICDCN
2010
Springer
15 years 11 months ago
2010
Springer
The proliferation of new modes of communication and collaboration has resulted in an explosion of digital information. To turn this challenge into an opportunity, the IT industry ...
149
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
147
click to vote
LAWEB
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
124
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
Fieldbus networks have significantly improved flexibility and management in classic building automation domains. However, the costs of such installations are still greatly affec...
248
Voted
SADFE
2008
IEEE
15 years 11 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...