Result 1 to 20 of 135 total
Using requirements engineering in an automatic security policy derivation process. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 155-172 (2012).
1
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs. (English)
Inf. Process. Lett. 112, No. 7, 298-301 (2012).
2
A systematic approach to integrate common timed security rules within a TEFSM-based system specification. (English)
Inf. Softw. Technol. 54, No. 1, 87-98 (2012).
3
Inrob: an approach for testing interoperability and robustness of real-time embedded software (English)
Journal of Systems and Software 85, No. 1, 3-15 (2012).
4
A systematic approach to integrate common timed security rules within a TEFSM-based system specification (English)
Information & Software Technology 54, No. 1, 87-98 (2012).
5
Using testing techniques for vulnerability detection in C programs. (English)
Wolff, Burkhart (ed.) et al., Testing software and systems. 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24579-4/pbk). Lecture Notes in Computer Science 7019, 80-96 (2011).
6
A quality of experience based approach for wireless mesh networks. (English)
Masip-Bruin, Xavier (ed.) et al., Wired/wireless internet communications. 9th IFIP TC 6 international conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21559-9/pbk). Lecture Notes in Computer Science 6649, 162-173 (2011).
7
Data privacy management and autonomous spontaneous security. 5th international workshop, DPM 2010 and 3rd international workshop, SETOP 2010, Athens, Greece, September 23, 2010. Revised selected papers. (English)
Lecture Notes in Computer Science 6514. Berlin: Springer (ISBN 978-3-642-19347-7/pbk). xiv, 259~p. EUR~49.22 (2011).
8
io-port 50049682 Cavalli, Alessandro;
Dal Pra, S.;
Dell’agnello, Luca;
Fella, A.;
Gregori, D.;
Gioi, L. Li;
Martelli, B.;
Prosperini, A.;
Ricci, P. P.;
Sapunenko, V.;
Vagnoni, V.
Experience with hierarchical storage management based on GPFS and TSM at INFN-CNAF (English)
Praxis der Informationsverarbeitung und Kommunikation 34, No. 1, 31-36 (2011).
9
Detection of attacks in wireless mesh networks (English)
LADC, 45-54 (2011).
10
Using testing techniques for vulnerability detection in C programs (English)
ICTSS, 80-96 (2011).
11
A quality of experience based approach for wireless mesh networks (English)
WWIC, 162-173 (2011).
12
Route manipulation attack in wireless mesh networks (English)
AINA, 501-508 (2011).
13
FSM-based test derivation strategies for systems with time-outs (English)
QSIC, 141-149 (2011).
14
A model-based attack injection approach for security validation (English)
SIN, 103-110 (2011).
15
FSM-based conformance testing methods: a survey annotated with experimental evaluation. (English)
Inf. Softw. Technol. 52, No. 12, 1286-1297 (2010).
16
A fault injection tool for testing Web services composition. (English)
Bottaci, Leonardo (ed.) et al., Testing ‒ practice and research techniques. 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3‒5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15584-0/pbk). Lecture Notes in Computer Science 6303, 137-146 (2010).
17
Testing a probabilistic FSM using interval estimation. (English)
Comput. Netw. 54, No. 7, 1108-1125 (2010).
18
FSM-based conformance testing methods: A survey annotated with experimental evaluation (English)
Information & Software Technology 52, No. 12, 1286-1297 (2010).
19
Testing web service orchestrators in context: A symbolic approach (English)
SEFM, 257-267 (2010).
20
Result 1 to 20 of 135 total
Start
Contact
Print
General Help
