高山短沟红萤（学名：）为红萤科短沟红萤属下的一个种。