920 search results - page 163 / 184 » Selecting Secure Passwords |
140
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
112
click to vote
DSOM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
110
Voted
DIM
2008
ACM
15 years 5 months ago
2008
ACM
The secure release of identity attributes is a key enabler for electronic business interactions. In particular, integrity and confidentiality of identity attributes are two key re...
122
click to vote
MASCOTS
2010
15 years 4 months ago
2010
Recording raw network traffic for long-term periods can be extremely beneficial for a multitude of monitoring and security applications. However, storing all traffic of high volume...
130
click to vote
MKWI
2008
15 years 4 months ago
2008
: To provide effective support, process-aware information systems (PAIS) must not freeze existing business processes. Instead they should enable authorized users to deviate on-the-...