741 search results - page 41 / 149 » Verification of security protocols using LOTOS-method and ap... |
122
click to vote
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
A family of authenticators based on static shared keys is identified and proven secure. The authenticators can be used in a variety of settings, including identity-based ones. App...
129
click to vote
IFIP11
2004
15 years 5 months ago
2004
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
135
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
138
Voted
CN
2008
15 years 4 months ago
2008
In recent years, massively multiplayer online games (MMOGs) have become very popular by providing more entertainment and sociability than single-player games. In order to prevent c...
123
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...