180 search results - page 19 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
106
click to vote
COMPSAC
2007
IEEE
14 years 12 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
ICAS
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper presents a novel approach for efficient tree construction in ALM (Application Layer Multicast) using layered video coding. This system is suitable for the users in h...
126
click to vote
SIAMCOMP
2002
14 years 11 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
104
click to vote
ESOP
2010
Springer
15 years 3 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...