Sciweavers

4731 search results - page 42 / 947
» Securing Interactive Programs
Sort
View
CRYPTO
1995
Springer
89views Cryptology» more  CRYPTO 1995»
15 years 10 months ago
Secure Signature Schemes based on Interactive Protocols
Ronald Cramer, Ivan Damgård
131
Voted
EUROPAR
2008
Springer
15 years 8 months ago
Securing Real-Time On-Line Interactive Applications in edutain@grid
Justin Ferris, Mike Surridge, Frank Glinka
CSFW
2007
IEEE
15 years 10 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
Gurvan Le Guernic