Result 1 to 20 of 159 total
An idea of an independent validation of vulnerability discovery models. (English)
Barthe, Gilles (ed.) et al., Engineering secure software and systems. 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28165-5/pbk). Lecture Notes in Computer Science 7159, 89-96 (2012).
1
Load time security verification. (English)
Jajodia, Sushil (ed.) et al., Information systems security. 7th international conference, ICISS 2011, Kolkata, India, December 15‒19, 2011. Procedings. Berlin: Springer (ISBN 978-3-642-25559-5/pbk). Lecture Notes in Computer Science 7093, 250-264 (2011).
2
SeCMER: a tool to gain control of security requirements evolution. (English)
Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 321-322 (2011).
3
io-port 05979942 Massacci, Fabio;
Bouquet, Fabrice;
Fourneret, Elizabeta;
Jurjens, Jan;
Lund, Mass S.;
Madelénat, Sébastien;
Muehlberg, JanTobias;
Paci, Federica;
Paul, Stéphane;
Piessens, Frank;
Solhaug, Bjornar;
Wenzel, Sven
Orchestrating security and system engineering for evolving systems (invited paper). (English)
Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 134-143 (2011).
4
Dealing with known unknowns: Towards a game-theoretic foundation for software requirement evolution. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 62-76 (2011).
5
A method for security governance, risk, and compliance (GRC): A goal-process approach. (English)
Aldini, Alessandro (ed.) et al., Foundations of security analysis and design VI. FOSAD tutorial lectures. Berlin: Springer (ISBN 978-3-642-23081-3/pbk). Lecture Notes in Computer Science 6858, 152-184 (2011).
6
Engineering secure future internet services. (English)
Domingue, John (ed.) et al., The future internet. Future internet assembly 2011: achievements and technological promises. Berlin: Springer (ISBN 978-3-642-20897-3/pbk). Lecture Notes in Computer Science 6656, 177-191 (2011).
7
After-life vulnerabilities: a study on Firefox evolution, its vulnerabilities, and fixes. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 195-208 (2011).
8
Predictability of enforcement. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 73-86 (2011).
9
io-port 50272874 Asnar, Yudistira;
Massacci, Fabio;
Saïdane, Ayda;
Riccucci, Carlo;
Felici, Massimo;
Tedeschi, Alessandra;
El Khoury, Paul;
Li, Keqin;
Seguran, Magali;
Zannone, Nicola
Organizational patterns for security and dependability: from design to application (English)
IJSSE 2, No. 3, 1-22 (2011).
10
A load time policy checker for open multi-application smart cards (English)
POLICY, 153-156 (2011).
11
Computer-aided generation of enforcement mechanisms for error-tolerant policies (English)
POLICY, 89-96 (2011).
12
Secmer: A tool to gain control of security requirements evolution (English)
ServiceWave, 321-322 (2011).
13
io-port 70181037 Massacci, Fabio;
Bouquet, Fabrice;
Fourneret, Elizabeta;
Jürjens, Jan;
Lund, Mass S.;
Madelénat, Sébastien;
Muehlberg, Jantobias;
Paci, Federica;
Paul, Stéphane;
Piessens, Frank;
Solhaug, Bjornar;
Wenzel, Sven
Orchestrating security and system engineering for evolving systems - (Invited paper) (English)
ServiceWave, 134-143 (2011).
14
Dealing with known unknowns: towards a game-theoretic foundation for software requirement evolution (English)
CAiSE, 62-76 (2011).
15
A tool for managing evolving security requirements (English)
CAiSE Forum, 49-56 (2011).
16
An extended ontology for security requirements (English)
CAiSE Workshops, 622-636 (2011).
17
Load time security verification (English)
ICISS, 250-264 (2011).
18
Reactive non-interference for a browser model (English)
NSS, 97-104 (2011).
19
Computer aided threat identification (English)
CEC, 145-152 (2011).
20
Result 1 to 20 of 159 total