14824 search results - page 426 / 2965 » Security - Introduction |
219
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
201
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...
196
click to vote
ICDCSW
2005
IEEE
16 years 1 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
183
click to vote
ACISP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
180
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...