1679 search results - page 75 / 336 » Security Properties and CSP |
SAFECOMP
2005
Springer
14 years 3 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
ACISP
2007
Springer
14 years 4 months ago
2007
Springer
We present a new non-interactive message authentication protocol in manual channel model (NIMAP, for short) using the weakest assumption on the manual channel (i.e. assuming the st...
ICTAC
2009
Springer
14 years 4 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
ACISP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. At present, network users have to manage one set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single...