Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?

UNITN — Thu, 25 Feb 2010 19:23:24 +0000

Title	Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?
Publication Type	Conference Paper
Year of Publication	Submitted
Refereed Designation	Refereed
Authors	Dragoni, N., O. Gadyatskaya, and F. Massacci
Conference Name	Security and Privacy of Pervasive Systems and Small Devices
Publisher	Springer
Conference Location	Passau, Germany
Keywords	illegal information exchange, multi-application smart card, security policy enforcemen, Security-by-Contract

Change Patterns: Co-evolving Requirements and Architecture

KUL — Wed, 25 Jan 2012 20:31:51 +0000

Title	Change Patterns: Co-evolving Requirements and Architecture
Publication Type	Journal Article
Year of Publication	Submitted
Refereed Designation	Refereed
Authors	Yskout, K., R. Scandariato, and W. Joosen
Journal	Software and Systems Modeling

OU — Thu, 26 Jan 2012 11:19:59 +0000

Title	Enhancing Argumentation with Risk Assessment for Achieving Good-Enough Security
Publication Type	Journal Article
Year of Publication	Submitted
Refereed Designation	Refereed
Authors	Franqueira, V. N. L., T. T. Tun, Y. Yu, R. Wieringa, and B. Nuseibeh
Journal	Requirements Engineering Journal

BME — Wed, 25 Jan 2012 09:10:18 +0000

Title	Dynamic Backwards Slicing of Model Transformations
Publication Type	Conference Paper
Year of Publication	2012
Authors	Ujhelyi, Z., A. Horváth, and D. Varró
Conference Name	Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Date Published	04/2012
Notes	Accepted

UNITN — Wed, 25 Jan 2012 14:23:56 +0000

Title	An Idea of an Independent Validation of Vulnerability Discovery Models
Publication Type	Conference Proceedings
Year of Publication	2012
Refereed Designation	Refereed
Authors	V.H.Nguyen, and F.Massacci
Conference Name	International Symposium on Engineering Secure Software and Systems (ESSoS)
Conference Location	Eindhoven

OU — Tue, 31 Jan 2012 19:06:08 +0000

Title	Maintaining invariant traceability through bidirectional transformations
Publication Type	Conference Proceedings
Year of Publication	2012
Refereed Designation	Refereed
Authors	Yu, Y., Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux
Conference Name	34th International Conference on Software Engineering

TUD — Fri, 27 Jan 2012 09:57:56 +0000

Title	A Sound Decision Procedure for the Compositionality of Secrecy
Publication Type	Conference Paper
Year of Publication	2012
Authors	Ochoa, M., J. Jürjens, and D. Warzecha
Conference Name	4th International Symposium on Engineering Secure Software and Systems (ESSOS 2012)
Publisher	Springer

KUL — Sun, 29 Jan 2012 19:36:21 +0000

Title	Sound Formal Verification of Linux's USB BP Keyboard Driver
Publication Type	Conference Paper
Year of Publication	2012
Authors	Penninckx, W., J. T. Mühlberg, B. J. Jan Smans, and F. Piessens
Conference Name	The 4th NASA Formal Methods Symposium (NFM 2012)
Notes	to appear

UIB — Thu, 26 Jan 2012 14:37:17 +0000

Title	State-based Evolution Management of Risk-based System Tests for Service-centric Systems.
Publication Type	Book Chapter
Year of Publication	2012
Authors	Felderer, M., B. Agreiter, and R. Breu
Book Title	Emerging Technologies for the Evolution and Maintenance of Software Models.
Pagination	298-318.
Publisher	IGI Global

TUD — Fri, 27 Jan 2012 09:59:05 +0000

Title	Vérification et Test pour des systèmes évolutifs
Publication Type	Conference Paper
Year of Publication	2012
Authors	Fourneret, E., F. Bouquet, M. Ochoa, J. Jürjens, and S. Wenzel
Conference Name	AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels
Conference Location	Grenoble, France