APA (7th ed.) Citation

González-Burgueño, A., Santiago, S., Escobar, S., Meadows, C., & Meseguer, J. (2014). Analysis of the IBM CCA Security API Protocols in Maude-NPA. Lecture notes in computer science, 111-130. https://doi.org/10.1007/978-3-319-14054-4_8

Chicago Style (17th ed.) Citation

González-Burgueño, Antonio, Sonia Santiago, Santiago Escobar, Catherine Meadows, and José Meseguer. "Analysis of the IBM CCA Security API Protocols in Maude-NPA." Lecture Notes in Computer Science 2014: 111-130. https://doi.org/10.1007/978-3-319-14054-4_8.

MLA (9th ed.) Citation

González-Burgueño, Antonio, et al. "Analysis of the IBM CCA Security API Protocols in Maude-NPA." Lecture Notes in Computer Science, 2014, pp. 111-130, https://doi.org/10.1007/978-3-319-14054-4_8.