I'm not a cryptography expert, so excuse me if the question seems very trivial.
I need to know if this protocol is secure against a MiTM attacks and ensure a safe entity authentication method.
We have Alice and Bob that share the same key $K$. Alice needs to be sure that Bob is really Bob. In order to achive this Alice generates a random number $N$ and sends it to Bob. Bob receives this message from Alice, computes $C=ENC_K(N,ID_{B})$ and then sends to Alice $C$. Upon that Alice received $C$ performs $DEC_K(C)$ extracts the nonce, named $N'$ and checks if $N'$ = $N$.
Is it correct?
UPDATE: I've found this paper:
M. Bellare, R. Canetti, and H. Krawczyk, “A modular approach to the design and analysis of authentication and key exchange protocols”, Proceedings of the 30th Annual Symposium on the Theory of Computing, ACM, 1998.
Where in section 3.2 is described an authentication technique using encryption and MAC algorithms. Now, I need to know, since the paper is quite old, if this scheme could be considered secure yet. Furthermore, how can I make it secure against a Reset Attack (if it is possible) ?