The short answer to your question is yes. There is such a space, that of the locally smooth functions on $K$. Schwartz defined the space of distributions with support in $K$ not directly by duality but by defining the space of distributions, then the notion of restriction of a distribution to an open set and finally the support of a distribution as the complement of the union of the open sets on which it vanishes. In parallel he defined the space of distributions of compact support as the dual of $C^\infty$. It is then a theorem that the two concepts coincide.
The answer to your question is rather more subtle. This can be seen in the simplest case, i.e., where $K$ is the origin in the real line. The space of distributions with support there is infinite dimensional--it consists of the linear combinations of the Dirac distribution and its derivatives. This can obviously not be the dual of a space of functions defined on a single point. It is, however, the dual of the space of germs of smooth functions at the origin.
This is defined as the union of the spaces $C^\infty(]-\epsilon,\epsilon[)$ over positive $\epsilon$. As the parameter decreases to zero, these form an increasing system of Frechet spaces and can be given a lcs structure in the standard way as an inductive limit, i.e., provided with the finest such structure for which the corresponding injections are continuous. The dual of this space is then the space of distributions with support at the origin.
This can be extended to the general situation in the natural way. For a given compactum $K$ one consider the family $C^\infty(U)$ indexed by the open neighbourhoods of $K$. This forms an inductive system and its inductive limit as above is the space of functions which are locally smooth on $K$. Once again, its dual is the space of distributions with support in $K$.