Sciweavers

5475 search results - page 322 / 1095
» Model Driven Security
Sort
View
ACSAC
2002
IEEE
15 years 11 months ago
Composable Tools For Network Discovery and Security Analysis
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richa...
FUIN
2010
103views more  FUIN 2010»
15 years 5 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
ACISP
2007
Springer
15 years 10 months ago
An Application of the Goldwasser-Micali Cryptosystem to Biometric Authentication
This work deals with the security challenges in authentication protocols employing volatile biometric features, where the authentication is indeed a comparison between a fresh biom...
Julien Bringer, Hervé Chabanne, Malika Izab...
C3S2E
2009
ACM
15 years 10 months ago
A verification framework for access control in dynamic web applications
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
CTRSA
2006
Springer
118views Cryptology» more  CTRSA 2006»
15 years 10 months ago
Stand-Alone and Setup-Free Verifiably Committed Signatures
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
Huafei Zhu, Feng Bao