%0 Journal Article %1 journals/jlap/KirkNBSW23 %A Kirk, Rhys %A Nguyen, Hoang Nga %A Bryans, Jeremy W. %A Shaikh, Siraj Ahmed %A Wartnaby, Charles %D 2023 %J J. Log. Algebraic Methods Program. %K dblp %P 100812 %T A formal framework for security testing of automotive over-the-air update systems. %U http://dblp.uni-trier.de/db/journals/jlap/jlap130.html#KirkNBSW23 %V 130

@article{journals/jlap/KirkNBSW23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kirk, Rhys and Nguyen, Hoang Nga and Bryans, Jeremy W. and Shaikh, Siraj Ahmed and Wartnaby, Charles}, biburl = {https://www.bibsonomy.org/bibtex/218d71ac86e41a1e9baaf163efc7a6202/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2022.100812}, interhash = {282bc27472aeb26a6f63b38c120c9065}, intrahash = {18d71ac86e41a1e9baaf163efc7a6202}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100812, timestamp = {2024-04-09T05:08:13.000+0200}, title = {A formal framework for security testing of automotive over-the-air update systems.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap130.html#KirkNBSW23}, volume = 130, year = 2023 }