|
C37. |
Kakarontzas, G., Gerogiannis, V. C.,
Stamelos, I., Katsaros, P.
Elastic component
characterization with respect to
quality properties: an intuitionistic
fuzzy-based approach, In
Proceedings of the
15th Panhellenic Conference on
Informatics (PCI), Kastoria,
Greece,
IEEE Computer Society, 270-274,
2011
BEST
PAPER AWARD
Keywords: software quality,
component-based software |
|
|
C36. |
Tsiakis, T., Katsaros, P.,
Gritzalis, D.
Economic evaluation of Interactive
Audio Media for securing Internet
services, In Proceedings of the 7th
Int. Conference in Global Security,
Safety and Sustainability (ICGS3),
Thessaloniki, Greece,
Springer, 2011
Keywords: security economics,
spam, internet services |
|
|
C35. |
Katos, V., Vrakas, D., Katsaros,
P.
A framework for access control with
inference constraints, In
Proceedings of the
35th IEEE Computer Software and
Applications Conference (COMPSAC),
Munich, Germany,
IEEE Computer Society,
289-297, 2011
(http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.45)
Keywords: access control,
inference control |
|
|
C34. |
Chatzieleftheriou, G., Katsaros,
P.
Test driving static analysis tools in
search of C code vulnerabilities,
In Proceedings of the
35th IEEE Computer Software and
Applications Conference Workshops
(COMPSACW), Munich, Germany, IEEE
Computer Society,
96-103, 2011
(http://doi.ieeecomputersociety.org/10.1109/COMPSACW.2011.26)
Keywords: static program
analysis, software security, benchmark
tests |
|
|
C33. |
Petridou, S., Basagiannis, S.,
Alexiou, N., Papadimitriou, G.,
Katsaros, P. Quantitative
model checking of an RSA-based email
protocol on mobile devices, In
Proceedings of the
16th IEEE Symposium on Computers and
Communications (ISCC), Corfu,
Greece,
IEEE Computer Society,
639-645, 2011
(http://dx.doi.org/10.1109/ISCC.2011.5983911)
Keywords: security protocols,
probabilistic model checking, mobile
computing |
|
| C32. |
Bartocci, E., Grosu, R., Katsaros, P.,
Ramakrishnan, CR, Smolka, S.
Model Repair for probabilistic systems, In
Proceedings of the
17th Int. Conference on Tools and Algorithms
for the Construction and Analysis of Systems
(TACAS), Saarbrücken, Germany, LNCS
6605,
326-340,
Springer Verlag, 2011
(online:
http://dx.doi.org/10.1007/978-3-642-19835-9_30)
Keywords:
model repair, probabilistic model checking,
nonlinear programming |
|
| C31. |
Soupionis, Y., Basagiannis, S., Katsaros,
P., Gritzalis, D. A
formally verified mechanism for countering
SPIT, 5th
International
Workshop
on Critical Information Infrastructure
Security
(CRITIS'10), Athens,
Greece, LNCS 6712,
128-139, Springer Verlag, 2011
Keywords: Spam over Internet
Telephony (SPIT), policy management, model
checking, formal verification, Voice over IP
(VoIP) |
|
