3751 search results - page 409 / 751 » Events in security protocols |
184
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
179
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
162
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We developed a new Web authentication protocol with passwordbased mutual authentication which prevents various kinds of phishing attacks. This protocol provides a protection of us...
139
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
pwdArmor is a framework for fortifying conventional password-based authentications. Many password protocols are performed within an encrypted tunnel (e.g., TLS) to prevent the exp...