Attic/scala/Application4.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 05 Nov 2015 02:11:13 +0000
changeset 422 abe178b3197e
parent 198 2ce98ee39990
permissions -rw-r--r--
finished ZKP protocols

package controllers

import play.api.mvc._
import java.security.MessageDigest

/*
 * Application sets a cookie in plain ASCII on the
 * clients browser recording the visits of a page.
 *
 * The cookie data is hashed and salted with a
 * secret key.
 */


object Application extends Controller {

  //secret key for salting 
  val salt = "my secret key"

  //SHA-1 + salt
  def mk_hash(s: String) : String = {
    val hash_fun = MessageDigest.getInstance("SHA-1")
    hash_fun.digest((s + salt).getBytes).map{ "%02x".format(_) }.mkString
  }

  def gt_cookie(c: Cookie) : Int = c.value.split("/") match {
    case Array(s, h) if (s.forall(_.isDigit) && mk_hash(s) == h) => s.toInt 
    case _ => 0
  }

  def mk_cookie(i: Int) : Cookie = {
    val hash = mk_hash(i.toString)
    Cookie("visits", s"$i/$hash")
  }
   
  def index = Action { request =>

    val visits_cookie = request.cookies.get("visits")
    val visits = visits_cookie.map(gt_cookie).getOrElse(0)

    val msg = 
      if (visits >= 10)
        s"You are a valued customer who has visited this site $visits times."               
      else s"You have visited this site $visits times."
    
    Ok(msg).withCookies(mk_cookie(visits + 1))
  }     
}