|
|
|
J12. |
Gritzalis, D.,
Katsaros,
P., Basagiannis, S., Soupionis, Y.,
Formal analysis
for robust
anti-SPIT
protection using
model-checking,
(To appear in)
International
Journal of
Information
Security,
Springer,
2012
Keywords:
SPam over
Internet
Telephony,
Session
Initiation
Protocol, model
checking,
security
policies |
|
|
J11. |
Basagiannis, S.,
Petridou, S.,
Alexiou, N.,
Papadimitriou,
G., Katsaros,
P.,
Quantitative
analysis of a
certified e-mail
protocol in
mobile
environments: A
probabilistic
model checking
approach,
Computers
& Security,
Vol. 30 (4), 257-272,
Elsevier,
2011
(online:
http://dx.doi.org/10.1016/j.cose.2011.02.001)
Keywords:
security
protocols,
probabilistic
model checking,
mobile computing |
|
|
J10. |
Basagiannis, S.,
Katsaros,
P., Pombortsis, A., Synthesis of attack
actions using model checking for the verification of security protocols,
Security and Communication
Networks, Vol. 4 (2), 147-161, John Wiley & Sons, 2011
(online:
http://dx.doi.org/10.1002/sec.119)
Keywords:
security
protocols,
intruder
modeling, model
checking |
|
|
J9. |
Kakarontzas,
G.,
Katsaros, P.,
Stamelos, I.,
Component
Certification as
a Prerequisite
for Widespread
OSS Reuse,
Electronic
Communications
of the European
Association of
Software Science
and Technology
(EASST),
Vol. 33:
Foundations and
Techniques for
Open Source
Software
Certification, 2010
Keywords:
component
certification,
open source
software reuse,
component-based
development |
|
|
J8. |
Mentis, A.,
Katsaros, P.,
Angelis, L., Kakarontzas, G., Quantification of interacting runtime qualities
in software architectures: insights from transaction processing in
client-server architectures,
Information and Software Technology, Vol. 52 (12), 1331-1345, Elsevier, 2010
(online: http://dx.doi.org/10.1016/j.infsof.2010.07.006)
Keywords:
software
architecture
validation,
software
quality, design
tradeoffs,
transaction
processing,
simulation |
|
|
J7. |
Basagiannis, S.,
Katsaros,
P., Pombortsis, A., An intruder model with Message
Inspection for model checking security protocols,
Computers
& Security, Vol. 29 (1), 16-34,
Elsevier,
2010
(online:
http://dx.doi.org/10.1016/j.cose.2009.08.003)
Keywords:
security
protocols,
verification,
model checking,
intrusion
attacks, formal
analysis |
|
|
J6. |
Basagiannis, S., Katsaros, P., Pombortsis,
A., Alexiou, N., Probabilistic model checking for the quantification of
DoS security threats, Computers
& Security, Vol. 28 (6), 450-465,
Elsevier,
2009
(online:
http://dx.doi.org/10.1016/j.cose.2009.01.002)
Keywords: denial of service, secure authentication,
probabilistic
model checking,
resource
exhaustion,
attacker model |
|
|
J5. |
Katsaros, P.,
A roadmap to electronic payment transaction guarantees and a
Colored Petri Net model checking approach,
Information and Software Technology, Vol. 51 (2), 235-257, Elsevier, 2009
(online:
http://dx.doi.org/10.1016/j.infsof.2008.01.005)
Keywords:
electronic
payments,
atomicity, fault
tolerance,
e-commerce
transactions,
security,
Colored
Petri-Nets,
model checking |
|
|
J4. |
Katsaros, P., Angelis, L. and Lazos, C.,
Performance and effectiveness trade-off
for checkpointing in fault tolerant distributed systems,
Concurrency and Computation:
Practice and Experience, Vol. 19 (1), 37-63, John Wiley & Sons, 2007
(online:
http://dx.doi.org/10.1002/cpe.1059)
Keywords:
checkpointing &
recovery, fault
tolerance,
distributed
systems,
performance
evaluation,
statistical
analysis |
|
|
J3. |
Katsaros, P., Iakovidou, N. and
Soldatos, T., Evaluation of composite object replication
schemes for dependable server applications,
Information and Software Technology, Vol. 48 (9), 795-806, Elsevier, 2006
(online:
http://dx.doi.org/10.1016/j.infsof.2005.10.004)
Keywords:
fault tolerance,
performance,
quality of
service,
distributed
objects,
simulation |
|
|
J2. |
Katsaros, P. and Lazos, C.,
A
simulation test-bed for the design of dependable e-services, WSEAS Transactions on
Computers, WSEAS Press, Vol. 4/2, 915-919, 2003
Keywords:
simulation,
quality of
service, fault
tolerance, load
distribution,
state transfer&
recovery,
performance
evaluation,
distributed
objects,
e-services |
|
|
J1. |
Katsaros, P. and Lazos, C., A technique
for determining queuing network simulation length based on desired
accuracy,
International Journal of
Computer Systems Science and Engineering, Vol. 15 (6), CRL Publishing, 399-404,
2000
Keywords: queuing networks, simulation, regenerative
method |
|
|
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) |
|
|
C30. |
Alexiou, N., Deshpande, T.,
Basagiannis, S., Smolka, S., Katsaros, P. Formal analysis of the Kaminsky
DNS cache-poisoning attack using probabilistic model checking, In
Proceedings of the 12th IEEE International
High Assurance Systems Engineering Symposium (HASE), San Jose,
California, IEEE Computer Society,
94-103, 2010
(online:
http://doi.ieeecomputersociety.org/10.1109/HASE.2010.25)
Keywords: cache-poisoning attack, probabilistic
model checking |
|
|
C29. |
Mokos, K., Meditskos, G.,
Katsaros, P., Bassiliades,
N.,
Vasiliades, V.
Ontology-based model
driven engineering for safety verification, In Proceedings of the
36th
EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA),
Lille,
France, IEEE Computer Society,
47-54,
2010
(online:
http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.60)
Keywords: model driven engineering, safety,
verification &
validation,
ontology
reasoning, model
transformation |
|
|
C28. |
Mentis, A.,
Katsaros, P., Angelis, L. Synthetic metrics for evaluating performance of software
architectures with complex tradeoffs, In Proceedings of the
35th
EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patra, Greece, IEEE
Computer Society, 237-242, 2009
(online:
http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.84)
Keywords: |
|
|
|
|
|
|
C25. |
Kakarontzas, G., Stamelos,
I., Katsaros, P. Product line variability with elastic components and
test-driven development, In Proceedings of the
International
Conference on Innovation in Software Engineering (ISE 2008), Vienna,
Austria - IEEE Computer Society, 146-151, 2008
(online:
http://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.84)
Keywords: |
|
|
C24. |
Mokos, K., Katsaros, P., Bassiliades, N.,
Vasiliades, V., Perrotin, M. Towards compositional safety analysis via
semantic representation of component failure behavior, In:
Knowledge-based
Software
Engineering/Proc. of
8th Joint Conference on Knowledge - Based Software Engineering 2008
(JCKBSE 08) -
Piraeus, Greece,
Frontiers in Artificial
Intelligence and Applications, M. Virvou and T. Nakamura (Eds.) , 405-414, IOS Press, 2008
(online:
http://dx.doi.org/10.3233/978-1-58603-900-4-405)
Keywords: |
|
|
C23. |
Almaliotis, V., Loizidis, A.,
Katsaros,
P., Louridas, P., Spinellis, D.
Static program analysis for Java Card
applets, In
Proceedings of the
8th IFIP Smart Card Research and Advanced
Application Conference (CARDIS), Royal Holloway, Un. of
London,
United Kingdom,
LNCS 5189, 17-31, Springer Verlag, 2008
(online:
http://dx.doi.org/10.1007/978-3-540-85893-5_2)
Keywords: |
|
|
C22. |
Basagiannis,
S., Katsaros, P., Pombortsis, A., Alexiou, N., A
probabilistic attacker model for quantitative verification of DoS security
threats, In Proceedings of the
32nd
Annual IEEE International on Computer Software and Applications Conference
(COMPSAC 2008), Turku, Finland, IEEE Computer Society, 12-19, 2008
(online:
http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.48)
Keywords: |
|
|
C21. |
Mentis, A., Katsaros, P.,
Angelis, L.,
ACID
Sim Tools: A simulation framework for distributed transaction processing
architectures, In
Proceedings of the
1st International Conference on Simulation
Tools and Techniques for Communications, Networks and Systems
(SimulationWorks Industry Track), Marseille, France, 2008
Keywords: |
|
|
C20. |
Basagiannis, S., Katsaros, P.,
Pombortsis, A.,
Intrusion Attack Tactics for
the model checking of e-commerce security guarantees, In Proceedings of the
26th International Conference
on Computer Safety, Reliability and Security (SAFECOMP), Nuremberg, Germany, LNCS 4680, 238-251, Springer Verlag, 2007
(online:
http://dx.doi.org/10.1007/978-3-540-75101-4_22)
Keywords: |
|
|
C19. |
Kakarontzas, G., Katsaros, P.,
Stamelos, I.,
Elastic Components: Addressing variance of
quality properties in components, In Proceedings of the
33rd Euromicro Conference on Software Engineering
and Advanced Applications (SEAA), EUROMICRO, Luebeck, Germany, 31-38, IEEE
Computer Society, 2007
(online:
http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.29)
Keywords: |
|
|
C18. |
Basagiannis, S., Katsaros, P.,
Pombortsis, A.,
Interlocking control by
Distributed Signal Boxes: design and verification with the SPIN model
checker, In
Proceedings of the
International Symposium on
Parallel and Distributed Processing and Applications (ISPA 2006), Sorrento, Italy, LNCS 4330,
317-328, Springer Verlag, 2006
(online:
http://dx.doi.org/10.1007/11946441_32)
Keywords: |
|
|
|
|
C16. |
Katsaros, P., Odontidis, V.,
Gousidou-Koutita, M.,
Simulation and verification of
atomicity properties for an electronic cash system, In Proceedings of the
2005 European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto,
Portugal, 558-563, 2005
Keywords: |
|
|
C15. |
Katsaros, P., Odontidis, V.,
Gousidou-Koutita, M.,
Colored Petri Net based model
checking and failure analysis for e-commerce protocols, In Proceedings of the
Sixth Workshop and Tutorial on Practical
Use of Coloured Petri Nets and the CPN Tools (CPN'05), DAIMI PB-576, Dept. of Computer
Science, University of Aarhus, Denmark, 267-283, 2005
Keywords: |
|
|
|
|
C13. |
Katsaros, P.,
Lazos, C.,
Optimal object state transfer - recovery policies for fault
tolerant distributed systems, In Proceedings of the
IEEE/IFIP International
Conference on Dependable Systems and Networks (DSN 04), Florence, Italy, IEEE Computer
Society Press, 762-771, 2004
(online:
http://doi.ieeecomputersociety.org
/10.1109/DSN.2004.1311947)
Keywords: |
|
|
C12. |
Katsaros, P., Angelis, L.,
Lazos, C.,
Simulation
metamodeling for the design of reliable object based systems, In Proceedings of the
EUROSIM 2004 Congress,
Special session on Modeling and
simulation of object based systems, EUROSIM, Paris, France, 2004
Keywords: |
|
|
C11. |
Deligiannis, I., Sfetsos, P., Stamelos,
I., Angelis, L.,
Chatzigeorgiou, A.,
Katsaros, P.,
Assessing the modifiability of two object-oriented design
alternatives - A controlled experiment replication, In Proceedings of the
EUROSIM 2004 Congress,
Special session on Modeling and
simulation of object based systems, EUROSIM, Paris, France, 2004
Keywords: |
|
|
C10. |
Katsaros, P., Lazos, C., Approximate and simulation based analysis for
distributed object software performance models, In Proceedings of the
2003 European
Simulation and Modelling Conference (ESM 2003), EUROSIS, Naples,
Italy, 409-414,
2003
Keywords: |
|
|
C9. |
Karaiskos, Z., Katsaros, P. and Lazos, C.,
Single-pass static semantic check for efficient translation in YAPL, In Proceedings of the
1st Balkan Conference in Informatics, Thessaloniki, Greece,
623-632, 2003
Keywords: |
|
|
C8. |
Katsaros, P.,
Lazos, C., A simulation
test-bed for the design of dependable e-services, In Proceedings of the
3rd WSEAS International Conference on Simulation, Modeling and
Optimization (ICOSMO), Rethymno, Greece, 2003
Keywords: |
|
|
C7. |
Katsaros, P.,
Lazos, C.,
Structured
performance modeling and analysis for object based distributed software
systems, In
Proceedings of the 15th ISCA International Conference on Parallel and
Distributed Computing Systems, ISCA, Louisville, USA, 96-102, 2002
Keywords: |
|
|
C6. |
Katsaros, P.,
Lazos, C., Regenerative
estimation variants of response times in closed networks of queues, In
Proc. of the 2nd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO), Skiathos, Greece, 2002
Keywords: |
|
|
|
|
C4. |
Katsaros, P., Angelis,
L., Lazos, C.,
Applied
multiresponse metamodeling for queuing network simulation experiments:
problems and perspectives, In Proc. of the EUROSIM 2001 Congress, EUROSIM, Delfts, The
Netherlands, 2001
Keywords:
|
|
|
C3. |
Katsaros, P.,
Lazos, C.,
Shared
memory parallel regenerative queuing network simulation, In Proc. of the 15th
European Simulation Multiconference, Society for Computer Simulation,
Prague, The Czech Rep., 736-740, 2001
Keywords: |
|
|
C2. |
Katsaros, P.,
Lazos, C., Regenerative
queuing network distributed simulation, In Proc. of the 14th
European Simulation Multiconference, Society for Computer Simulation,
Gent, Belgium, 109-113, 2000
Keywords: |
|
|
C1. |
Stamelos, J., Refanidis, J., Katsaros, P., Vlachavas, J., Tsoukias, A., Pombortsis, A.,
Automating the evaluation of
educational software, In Proc. of the 5th International Conference of the
Decision Sciences Institute, 1369-1373, Athens, 1999
Keywords: |
|
