Uma doca, porto seguro ou marina é a parte de um porto, rodeada de cais, na qual entram os navios para se abrigarem, efetuarem carregamento e/ou descarregamento, serem reparados, serem inspecionados, etc. As docas são bacias artificiais, de pequenas dimensões, construídas em desvios das linhas normais de navegação do porto (André, 1999, p. 751-753). Estas bacias podem estar em comunicação permanente ou temporária com as águas dos rios, mares ou lagos.
As docas são elementos fundamentais dos portos e CDS, sendo cada uma destinada a determinada linha de navegação ou a setores específicos (recreio, pesca, minério, carvão, etc.) dos quais recebem o nome. Além dos meios próprios que possuem para a amarração dos navios, também dispõem de equipamento adequado às operações realizadas (sobretudo operações de carga e descarga), assim como de toda uma infra-estrutura de armazéns, parques e redes de transportes. As docas são polos de desenvolvimento principalmente de indústrias ligadas à conservação e transformação dos produtos embarcados ou desembarcados (incluindo centrais de produção de energia) com as quais constituem, por vezes, unidades integradas (André, 1999, p. 751-753).
