Result 1 to 20 of 151 total
Verifying cryptographic code in C: some experience and the csec challenge. (English)
Barthe, Gilles (ed.) et al., Formal aspects of security and trust. 8th international workshop, FAST 2011, Leuven, Belgium, September 12‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29419-8/pbk). Lecture Notes in Computer Science 7140, 1-20 (2012).
1
A sound decision procedure for the compositionality of secrecy. (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, 97-105 (2012).
2
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. (German)
Jähnichen, Stefan (ed.) et al., Software engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-293-2). Lect. Notes Inform. 199, 175-181 (2012).
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
Connecting security requirements analysis and secure design using patterns and UMLsec. (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, 367-382 (2011).
5
Incremental security verification for evolving UMLsec models. (English)
France, Robert B. (ed.) et al., Modelling foundations and applications. 7th European conference, ECMFA 2011, Birmingham, UK, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21469-1/pbk). Lecture Notes in Computer Science 6698, 52-68 (2011).
6
Supporting requirements engineers in recognising security issues. (English)
Berry, Daniel (ed.) et al., Requirements engineering: foundation for software quality. 17th international working conference, REFSQ 2011, Essen, Germany, March 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19857-1/pbk). Lecture Notes in Computer Science 6606, 4-18 (2011).
7
Modelling secure systems evolution: abstract and concrete change specifications. (English)
Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 504-526 (2011).
8
Systematic development of UMLsec design models based on security requirements. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 232-246 (2011).
9
Run-time security traceability for evolving systems (English)
Comput. J. 54, No. 1, 58-87 (2011).
10
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).
11
Connecting security requirements analysis and secure design using patterns and umlsec (English)
CAiSE, 367-382 (2011).
12
Incremental security verification for evolving umlsec models (English)
ECMFA, 52-68 (2011).
13
Systematic development of umlsec design models based on security requirements (English)
FASE, 232-246 (2011).
14
Modelling secure systems evolution: abstract and concrete change specifications (English)
SFM, 504-526 (2011).
15
Guiding a general-purpose C verifier to prove cryptographic protocols (English)
CSF, 3-17 (2011).
16
Model-based security verification and testing for smart-cards (English)
ARES, 272-279 (2011).
17
Supporting requirements engineers in recognising security issues (English)
REFSQ, 4-18 (2011).
18
Automated security hardening for evolving UML models (English)
ICSE, 986-988 (2011).
19
Seventh international workshop on software engineering for secure systems: (SESS 2011) (English)
ICSE, 1200-1201 (2011).
20
Result 1 to 20 of 151 total
Start
Contact
Print
General Help
