Result 21 to 40 of 159 total
Predictability of enforcement (English)
ESSoS, 73-86 (2011).
21
After-life vulnerabilities: A study on firefox evolution, its vulnerabilities, and fixes (English)
ESSoS, 195-208 (2011).
22
Engineering secure future internet services (English)
Future Internet Assembly, 177-192 (2011).
23
SecureChange: Security engineering for lifelong evolvable systems. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 9-12 (2010).
24
A dynamic security framework for ambient intelligent systems: a smart-home based e-health application. (English)
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science X. Special issue on security in computing, Part I. Berlin: Springer (ISBN 978-3-642-17498-8/pbk). Lecture Notes in Computer Science 6340. Journal Subline, 1-24 (2010).
25
JCS special issue on EU-funded ICT research on trust and security. (English)
J. Comput. Secur. 18, No. 1, 1-5 (2010).
26
Can we support applications’ evolution in multi-application smart cards by security-by-contract? (English)
Samarati, Pierangela (ed.) et al., Information security theory and practices. Security and privacy of pervasive systems and smart devices. 4th IFIP WG 11.2 international workshop, WISTP 2010, Passau, Germany, April 12‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12367-2/pbk). Lecture Notes in Computer Science 6033, 221-228 (2010).
27
Engineering secure software and systems. Second international symposium, ESSoS 2010, Pisa, Italy, February 3‒4, 2010. Proceedings. (English)
Lecture Notes in Computer Science 5965. Berlin: Springer (ISBN 978-3-642-11746-6/pbk). x, 241~p. EUR~49.22 (2010).
28
A dynamic security framework for ambient intelligent systems: A smart-home based ehealth application (English)
Transactions on Computational Science 10, 1-24 (2010).
29
Evolving embedded systems (English)
IEEE Computer 43, No. 5, 34-40 (2010).
30
Security requirements engineering: the SI* modeling language and the secure tropos methodology (English)
Advances in Intelligent Information Systems, 147-174 (2010).
31
A method for security governance, risk, and compliance (GRC): A goal-process approach (English)
FOSAD, 152-184 (2010).
32
Extending security-by-contract with quantitative trust on mobile devices (English)
CISIS, 872-877 (2010).
33
Can we support applications’ evolution in multi-application smart cards by security-by-contract? (English)
WISTP, 221-228 (2010).
34
Securechange: security engineering for lifelong evolvable systems (English)
ISoLA (2), 9-12 (2010).
35
Infringo ergo sum: when will software engineering support infringements? (English)
FoSER, 233-238 (2010).
36
Towards security climate forecasts (English)
Future Internet Assembly, 41-50 (2010).
37
The S3MS.NET run time monitor: tool demonstration. (English)
Electron. Notes Theor. Comput. Sci. 253, No. 5, 153-159 (2009).
38
How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. (English)
Artif. Intell. Law 17, No. 1, 1-30 (2009).
39
Generalized XML security views. (English)
Int. J. Inf. Secur. 8, No. 3, 173-203 (2009).
40
Result 21 to 40 of 159 total
Start
Contact
Print
General Help
