C44. |
Berger, C., Katsaros, P.,
Bohlouli , M., Angelis, L.
An interdisciplinary perspective to the design
and decision support of integral safety
systems, In Proceedings of the
4th IFAC Workshop on Dependable Control of
Discrete Systems (DCDS 2013),
York,
UK, IFAC
Proceedings Volumes (IFAC-PapersOnline),
Vol. 4,
Part 1, 145-150, 2013
(online:
http://dx.doi.org/10.3182/20130904-3-UK-4041.00045)
Keywords: active control, safety,
sensor systems, formal verification |
|
C43. |
Rafailidis, F., Panagos, I., Arvanitidis, A.,
Katsaros, P.
Inlined monitors for security policy
enforcement in Web applications, In
Proceedings of the
17th Panhellenic Conference on
Informatics (PCI 2013), Thessaloniki,
Greece,
ACM, 75-82,
2013
(online:
http://dx.doi.org/10.1145/2491845.2491861)
BEST PAPER
AWARD
Keywords: security policy,
runtime monitoring, web applications |
|
C42. |
Gritzalis, D., Soupionis, Y., Katos, V.,
Psaroudakis, I., Katsaros, P.,
Mentis, A. The
SPHINX Enigma in Critical VoIP
Infrastructures: Human or Botnet?, In
Proceedings of the
4th
Int.
Conference on Information, Intelligence,
Systems and Applications
(IISA
2013), Piraeus, Greece,
2013
(online:
http://dx.doi.org/10.1109/IISA.2013.6623704)
Keywords: VoIP, CAPTCHA,
model checking |
|
C41. |
Stachtiari, E., Soupionis, Y., Katsaros,
P., Mentis, A., Gritzalis, D. Probabilistic
model checking of CAPTCHA admission control
for DoS resistant anti-SPIT protection, In
Proceedings of the 7th Int.
Conference on Critical Information
Infrastructures Security (CRITIS 2012),
Lillehammer, Norway, LNCS
7722,
143-154, Springer Verlag, 2013
(online:
http://dx.doi.org/10.1007/978-3-642-41485-5_13)
Keywords: admission control,
denial of service, CAPTCHA, probabilistic model
checking |
|