참고문헌 (16)

1. Crimes in India 2018 National Crime Records Bureau 

2. Journal of Digital Forensics, Security and Law Shah 12 2 12 2017 Protecting digital evidence integrity and preserving chain of custody. 

3. osi, Jasmin, and Miroslav Baa. (2010) “(Im) proving chain of custody and digital evidence integrity with time stamp.” 33rd International Convention MIPRO: 1226-1230. 

4. Koen, Renico, and Martin S. Olivier. (2008) “The Use of File Timestamps in Digital Forensics.” Information Security for South Africa (ISSA): 1-16. 

5. International Journal of Digital Evidence Hosmer 1 1 1 2002 Proving the integrity of digital evidence with time. 

6. Adams, Carlisle, Pat Cain, Denis Pinkas, and Robert Zuccherato. (2001) “Internet X. 509 public key infrastructure time-stamp protocol (TSP).” No. RFC 3161 

7. Rubin, Aviel D., and Peter Honeyman. (1993) “Formal methods for the analysis of authentication protocols.” Center for Information Technology Integration. 

8. 10.1098/rspa.1989.0125 Burrows, Michael, Martin Abadi, and Roger Michael Needham. (1989) "A logic of authentication." Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 426 (1871): 233-271. 

   상세보기

9. “AVISPA. Automated Validation of Internet Security Protocols and Applications.” (2017) http://www.avispa-project.org/. 

10. 10.1007/11513988_27 Armando, Alessandro, David Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuellar, P. Hankes Drielsma et al. (2005) "The AVISPA tool for the automated validation of internet security protocols and applications." In International conference on computer aided verification: 281-285. 

    상세보기

11. Von Oheimb, David. (2005) "The high-level protocol specification language HLPSL developed in the EU project AVISPA." In Proceedings of APPSEM 2005 workshop: 1-17. 

12. Saillard, Ronan, and Thomas Genet. (2018) "CAS+” Available at http://people.irisa.fr/Thomas.Genet/span/CAS_manual.pdf. 

13. Glouche, Yann, Thomas Genet, Olivier Heen, and Olivier Courtay. (2006) “A security protocol animator tool for AVISPA.” ARTIST2 workshop on security specification and verification of embedded systems 

14. IEEE Transactions on information theory Dolev 29 2 198 1983 10.1109/TIT.1983.1056650 On the security of public key protocols. 

    상세보기

15. International Journal of Information Security Basin 4 3 181 2005 10.1007/s10207-004-0055-7 OFMC: A symbolic model checker for security protocols. 

    상세보기

16. 10.1007/11805618_21 Turuani, Mathieu. (2006) "The CL-Atse protocol analyser." International Conference on Rewriting Techniques and Applications: 277-286. 

    상세보기