City Research Online

Items where Schools and Departments is "Software Reliability" and Year is 2012

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Type | No Grouping
Jump to: A | B | G | K | L | M | P | S | T
Number of items: 23.

A

Adamsky, F., Khayam, S. A., Jager, R. and Rajarajan, M. (2012). Security analysis of the micro transport protocol with a misbehaving receiver. Paper presented at the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discover, 10 - 12 October 2012, Sanya, China.

B

Bishop, P. G., Bloomfield, R. E., Gashi, I. and Stankovic, V. (2012). Diverse protection systems for improving security: a study with AntiVirus engines. London, UK: City University London.

Bishop, P. G., Bloomfield, R. E., Guerra, S. and Thuy, N. (2012). Safety justification frameworks: Integrating rule-based, goal-based and risk-informed approaches. In: 8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2012, NPIC and HMIT 2012: Enabling the Future of Nuclear Energy. (pp. 1283-1290). Illinois, USA: American Nuclear Society. ISBN 9781627480154

Bishop, P. G. and Cyra, L. (2012). Overcoming non-determinism in testing smart devices: how to build models of device behaviour. Paper presented at the 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012 (PSAM11 & ESREL 2012), 25 - 29 June 2012, Helsinki, Finland.

Bloomfield, R. E. and Wetherilt, A. (2012). Computer trading and systemic risk: a nuclear perspective (Driver Review DR26). London, UK: Government Office for Science.

G

Gashi, I., Bloomfield, R., Bloomfield, R. E. and Stroud, R. (2012). How secure is ERTMS?. Paper presented at the Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI), 25 September 2012, Herrenkrug, Germany.

Gashi, I., Stankovic, V., Cukier, M. and Sobesto, B. (2012). Diversity with AntiVirus products: Additional empirical studies. Paper presented at the 42nd IEEE International Conference on Dependable Systems and Networks (DSN) 2012, 25 - 28 June 2012, Boston, USA.

Georgakakis, E., Komninos, N. and Douligeris, C. (2012). NAVI: Novel authentication with visual information. Paper presented at the IEEE Symposium on Computers and Communications (ISCC), 1 - 4 July 2012, Cappadocia, Turkey.

Georgakakis, E., Komninos, N. and Douligeris, C. (2012). NAVI: Novel authentication with visual information. 2012 IEEE Symposium on Computers and Communications (ISCC), pp. 588-595. doi: 10.1109/ISCC.2012.6249360

K

Kharchenko, V. S., Popov, P. T., Odarushchenko, O. and Zhadan, V. (2012). Empirical evaluation of accuracy of mathematical software used for availability assessment of fault-tolerant computer systems. Reliability: Theory & Applications,

L

Littlewood, B. and Povyakalo, A. A. (2012). Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of "not worse than independence" (CSR Technical Report, 20 May 2012). London: Centre for Software Reliability, City University London.

Littlewood, B. and Povyakalo, A. A. (2012). Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is "possibly perfect" (CSR Technical Report 20 March 2012). London: Centre for Software Reliability, City University London.

M

Mantas, G., Lymberopoulos, D. and Komninos, N. (2012). PKI security in large-scale healthcare networks. Journal of Medical Systems, 36(3), pp. 1107-1116. doi: 10.1007/s10916-010-9573-1

Michalas, A., Bakopoulos, M., Komninos, N. and Prasad, N. R. (2012). Secure & trusted communication in emergency situations. Paper presented at the 35th IEEE Sarnoff Symposium (SARNOFF), 21 - 22 May 2012, Newark, USA.

Michalas, A., Dimitriou, T., Giannetsos, T., Komninos, N. and Prasad, N. R. (2012). Vulnerabilities of Decentralized Additive Reputation Systems Regarding the Privacy of Individual Votes. Wireless Personal Communications, 66(3), pp. 559-575. doi: 10.1007/s11277-012-0734-z

P

Popov, P. T. (2012). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software. Centre for Software Reliability, City University London.

Popov, P. T., Stankovic, V. and Strigini, L. (2012). An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs. Paper presented at the ISSRE 2012, International Symposium on Software Reliability Engineering, 27 - 30 November 2012, Dallas, Texas, USA.

S

Salako, K. ORCID: 0000-0003-0394-7833 (2012). Extension to models of coincident failure in multiversion software. (Unpublished Doctoral thesis, City University London)

Spurgin, A. J. and Stupples, D. (2012). Impact of accidents on organizational aspects of nuclear utilities. International Journal of Economics and Management Engineering, 2(4), pp. 132-144.

Strigini, L. (2012). Fault tolerance and resilience: meanings, measures and assessment. In: Wolter, K., Avritzer, A., Vieira, M. and van Moorsel, A. (Eds.), Resilience Assessment and Evaluation of Computing Systems. . Berlin, Germany: Springer.

Strigini, L., Bloomfield, R. E., Paulitsch, M. and Reiger, R. (2012). Evidence-Based Security in Aerospace. From Safety to Security and Back Again. Paper presented at the 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Fast Abstracts Track, 26 - 29 Nov 2012, Dallas, Texas, USA.

Stroud, R. and Gashi, I. (2012). Methodology for a security audit of ERTMS. Paper presented at the 42nd IEEE International Conference on Dependable Systems and Networks (DSN) 2012, 25 - 28 June 2012, Boston, USA.

T

Tselikis, C., Mitropoulos, S., Komninos, N. and Douligeris, C. (2012). Degree-Based Clustering Algorithms for Wireless Ad Hoc Networks Under Attack. IEEE Communications Letters, 16(5), pp. 619-621. doi: 10.1109/LCOMM.2012.031912.112484

This list was generated on Fri Dec 3 04:29:48 2021 UTC.