• 537 Citations
  • 13 h-Index
1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2018

Building an automotive security assurance case using systematic security evaluations

Cheah, M., Shaikh, S., Bryans, J. & Wooderson, P., Aug 2018, In : Computers and Security. 77, p. 360-379 20 p.

Research output: Contribution to journalArticle

Open Access
File
5 Citations (Scopus)
151 Downloads (Pure)
2017

The Internet of Automotive Things: Vulnerabilities, risks and policy implications

Bryans, J., 2017, In : Journal of Cyber Policy. 2, 2, p. 185-194 9 p.

Research output: Contribution to journalArticle

2015

Access control and view generation for provenance graphs

Danger, R., Curcin, V., Missier, P. & Bryans, J., Aug 2015, In : Future Generation Computer Systems. 49, p. 8-27 20 p.

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
40 Downloads (Pure)

A Model-Based Approach for Requirements Engineering for Systems of Systems

Holt, J., Perry, S., Payne, R., Bryans, J., Hallerstede, S. & Hansen, F. O., Mar 2015, In : IEEE Systems Journal. 9, 1, p. 252-262 11 p.

Research output: Contribution to journalArticle

File
21 Citations (Scopus)
807 Downloads (Pure)
2014

Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML

Bryans, J., Fitzgerald, J., Payne, R. & Kristensen, K., 2014, In : INCOSE International Symposium. 24, 1, p. 166-181

Research output: Contribution to journalArticle

Open Access
2011

Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations

Bryans, J. W., Fitzgerald, J. S. & McCutcheon, T., 2011, In : IFIP Advances in Information and Communication Technology. 362 AICT, p. 314-321 8 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2008

GOLD infrastructure for virtual organizations

Periorellis, P., Cook, N., Hiden, H., Conlin, A., Hamilton, M. D., Wu, J., Bryans, J., Gong, X., Zhu, F., Smith, R., Watson, P. & Wright, A. R., 2008, In : Concurrency Computation Practice and Experience. 20, 11, p. 1273-1288 16 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Opacity generalised to transition systems

Bryans, J. W., Koutny, M., Mazaro, L. & Ryan, P. Y. A., Nov 2008, In : International Journal of Information Security. 7, 6, p. 421-435 15 p.

Research output: Contribution to journalArticle

113 Citations (Scopus)
2005

Modelling opacity using petri nets

Bryans, J. W., Koutny, M. & Ryan, P. Y. A., 10 Feb 2005, In : Electronic Notes in Theoretical Computer Science. 121, p. 101-115 15 p.

Research output: Contribution to journalArticle

Open Access
File
79 Citations (Scopus)
10 Downloads (Pure)
2003

Model checking stochastic automata

Bryans, J., Bowman, H. & Derrick, J., 2003, In : ACM Transactions on Computational Logic. 4, 4, p. 452-492 41 p.

Research output: Contribution to journalArticle

21 Citations (Scopus)
2001

Analysis of a multimedia stream using stochastic process algebra

Bowman, H., Bryans, J. W. & Derrick, J., 1 Jan 2001, In : Computer Journal. 44, 4, p. 230-245 16 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)