31 search results - page 2 / 7 » ieeeares 2010 |
IEEEARES
2010
IEEE
14 years 9 days ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
IEEEARES
2010
IEEE
14 years 9 days ago
2010
IEEE
Abstract—Despite a long standing need to incorporate human factors into security risk analysis, taking a balanced approach to analysing security and usability concerns remains a ...
IEEEARES
2010
IEEE
13 years 4 months ago
2010
IEEE
—We propose a new DRM architecture that utilizes a two-step enforcement process to enable strong security even in the case of a compromised DRM viewer. This is achieved by using ...
IEEEARES
2010
IEEE
13 years 9 months ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
IEEEARES
2010
IEEE
14 years 9 days ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...