Result 101 to 120 of 159 total
ST-tool: A CASE tool for security requirements engineering (English)
RE, 451-452 (2005).
101
Maintaining privacy on derived objects (English)
WPES, 10-19 (2005).
102
Generalized XML security views (English)
SACMAT, 77-84 (2005).
103
Minimal disclosure in hierarchical hippocratic databases with delegation (English)
ESORICS, 438-454 (2005).
104
Requirements engineering meets trust management. (English)
Jensen, Christian (ed.) et al., Trust management. Second international conference, iTrust 2004, Oxford, UK, March 29 ‒ April 1, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21312-0/pbk). Lecture Notes in Computer Science 2995, 176-190 (2004).
105
Interactive access control for web services (English)
SEC, 151-166 (2004).
106
Requirements engineering meets trust management: model, methodology, and reasoning (English)
iTrust, 176-190 (2004).
107
A system for interactive authorization for business processes for web services (English)
ICWE, 521-525 (2004).
108
An interactive trust management and negotiation scheme (English)
Formal Aspects in Security and Trust, 115-128 (2004).
109
E pluribus unum (English)
WAC, 179-190 (2004).
110
Privacy is linking permission to purpose (Transcript of discussion) (English)
Security Protocols Workshop, 192-198 (2004).
111
Privacy is linking permission to purpose (English)
Security Protocols Workshop, 179-191 (2004).
112
Filling the gap between requirements engineering and public key/trust management infrastructures (English)
EuroPKI, 98-111 (2004).
113
How to fake an RSA signature by encoding modular root finding as a SAT problem. (English)
Discrete Appl. Math. 130, No.2, 101-127 (2003).
114
An access control framework for business processes for web services (English)
XML Security, 15-24 (2003).
115
Requirement engineering meets security: A case study on modelling secure electronic transactions by VISA and mastercard (English)
ER, 263-276 (2003).
116
A protocol’s life after attacks (English)
Security Protocols Workshop, 3-10 (2003).
117
Planning attacks to security protocols: Case studies in logic programming. (English)
Kakas, Antonis C. (ed.) et al., Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1. Berlin: Springer. Lect. Notes Comput. Sci. 2407, 533-560 (2002).
118
Planning attacks to security protocols: case studies in logic programming (English)
Computational Logic: Logic Programming and Beyond, 533-560 (2002).
119
Solving QBF by SMV (English)
KR, 578-592 (2002).
120
Result 101 to 120 of 159 total
Start
Contact
Print
General Help
