Policies

Your data is protected by Hyperstack's policy mechanism. Policies regulate Create, Read/Broadcast, Update and Delete access based on the browsers logged in user. You define in one set of files what data can be seen by who, and who can update the database

This Page Under Construction

Access to your Isomorphic Models is controlled by Policies that describe how the current acting_user and channels may access your Models.

Each browser session has an acting_user (which may be nil) and you will define create, update, and destroy policies giving (or denying) the acting_user the ability to do these operations.

Read and broadcast access is defined based on channels which are connected based again on the current acting_user. Read access is initiated when a specific browser tries to read a record attribute, and broadcasts are initiated whenever a model changes.

An application can have several channels and each channel and each active record model can have different policies to determine which attributes are sent when a record changes.

For example a Todo application might have an instance of a channel for each currently logged in user; an instance of a channel for each team if that team has one or more logged in users; and a general AdminUser channel shared by all administrators that are logged in.

Lets say a specific Todo changes, which is part of team id 123's Todo list, and users 7 and 8 who are members of that team are currently logged in as well as two of the AdminUsers.

When the Todo changes we want all the attributes of the Todo broadcast on team 123's channel, as well on the AdminUser's channel. Now lets say User 7 sends User 8 a private message, adding a new record to the Message model. This update should only be sent to user 7 and user 8's private channels, as well as to the AdminUser channel.

We can define all these policies by creating the following classes:

class UserPolicy # defines policies for the User class
  # The regulate_instance_connections method enables instances of the User
  # class to be treated as a channel.  

  # The policy is defined by a block that is executed in the context of the
  # current acting_user.

  # For our User instance connection the policy is that there must be a
  # logged-in user, and the connection is made to that user:
  regulate_instance_connections { self }
  # If there is no logged in user self will be nil, and no connection will be
  # made.
end

class TeamPolicy # defines policies for the Team class  
  # Users can only connect to Teams that they belong to
  regulate_instance_connections { teams }
end

class AdminUserPolicy
  # All AdminUsers share the same connection so we setup a class wide
  # connection available to any users who are admins.
  regulate_class_connection { admin? }

  # The AdminUser channel will receive all attributes
  # of all records, unless the attribute is named :password
  regulate_all_broadcasts do |policy|
    policy.send_all_but(:password)
  end
end

class TodoPolicy
  # Policies can be established for models that are not channels as well.

  # The regulate_broadcast method will describe what attributes to send
  # when a Todo model changes.  

  # The blocks of broadcast policies run in the context of the changed model
  # so we have access to all the models methods.  In this case Todo
  # belongs to a Team through the 'team' relationship.
  regulate_broadcast do |policy|
    # send all Todo attributes to the todo's team channel
    policy.send_all.to(team)
  end
end

class MessagePolicy
  # Broadcast policies can be arbitrarily complex.  In this case we
  # want to broadcast the entire message to the sender and the
  # recipient's instance channels.  
  # In addition if the message is not private, then we want to send to all
  # the team instance channels that are shared between the sender and
  # recipient's teams.
  regulate_broadcast do |policy|
    policy.send_all.to(sender, recipient)
    policy.send_all.to(sender.teams.merge(recipient.teams)) unless private?
  end
end

Before we begin using these channels and policies we need to first define the Reactive-Record acting_user method in our ApplicationController:

class ApplicationController < ActionController::Base
  def acting_user
    # The acting_user method should return nil, or some object that corresponds to a
    # logged in user.  Specifics will depend on your application and whatever other
    # authentication mechanisms you are using.
    @acting_user ||= session[:current_user_id] && User.find_by_id(session[:current_user_id])
    end
  end
end

Note that acting_user is also used by ReactiveRecord's permission system.

Our entire set of policies is defined in 29 lines of code of which 8 actually execute the policies. Our existing classes form the foundation, and we simply add Hyperloop specific policy directives. Pretty sweet huh?

Details

Hyperloop uses Policies to regulate what connections are opened between clients and the server and what data is distributed over those connections.

Connections are made on channels of data flowing between the server and a number of clients. Each channel is associated with either a class or an instance of a class. Typically the channel class represents an entity (or is associated with an entity) that can be authenticated like a User, an AdminUser, or a Team of users. A channel associated with the class itself broadcasts data that is received by any member of that class. A channel associated with an instance is for data that is available only to that specific instance.

As Models on the server change (i.e. created, updated, or destroyed) the changes are broadcast over open channels. What specific attributes are sent (if any) is determined by broadcast policies.

Broadcast policies can be associated with Models. As the Model changes the broadcast policy will regulate what attributes of the changed model will be sent over which channels.

Broadcast policies can also be associated with a channel and will regulate all model changes over specific channels. In other words this is just a convenient way to associate a common policy with all Models.

Note that Models that are associated with channels can also broadcast their changes on the same or different channels.

Defining Policies and Policy Classes

The best way to define policies is to use a Policy Class. A policy class has the same class name as the class it is regulating, with Policy added to the end. Policy classes are compatible with Pundit, and you can add regular pundit policies as well.

Policies are defined using four methods:

• regulate_class_connection controls connections to the class channels,

• regulate_instance_connections controls connections to instance channels,

• regulate_broadcast controls what data will be sent when a model or object changes and,

• regulate_all_broadcasts controls what data will be sent of some channels when any model changes.

In addition always_allow_connection is short hand for regulate_class_connection { true }

A policy class can be defined for which there is no regulated class. This is useful for application wide connections, which are typically open even if no one is logged in:

#app/policies/application.rb
class ApplicationPolicy
  regulate_class_connection { true }
end

Note that by default policy classes go in the app/policies directory. Hyperloop will require all the files in this directory.

If you wish, you can also add policies directly in your Models by including the Hyperloop::PolicyMethods module in your model. You can then use the regulate_class_connection, regulate_instance_connections, regulate_all_broadcasts and regulate_broadcast methods directly in the model.

class User < ActiveRecord::Base
  include Hyperloop::PolicyMethods
  regulate_class_connection ...
  regulate_instance_connections ...
  regulate_all_broadcasts ...  
  regulate_broadcast ...
end

Normally the policy methods are regulating the class with the prefix as the policy, but you can override this by providing specific class names to the policy method. This allows you to group several different class policies together, and to reuse policies:

class ApplicationPolicy
  regulate_connection { ... }  # Application is assumed
  regulate_class_connection(User) { ... }
  # regulate_class_connection, regulate_instance_connections and
  # regulate_all_broadcasts can take a list of channels.
  regulate_all_broadcasts(User, Application)
  # regulate_broadcast takes a list of object classes which
  # may also be channels.
  regulate_broadcast(Todo, Message, User) { ... }
end

Channels and connection policies

Any ruby class that has a connection policy is a Hyperloop channel. The fully scoped name of the class becomes the root of the channel name.

The purpose of having channels is to restrict what gets broadcast when models change, therefore typically channels represent connections to

• the application, or some function within the application

• or some class which is authenticated like a User or Administrator,

• instances of those classes,

• or instances of related classes.

So a channel that is connected to the User class would get information readable by any logged-in user, while a channel that is connected to a specific User instance would get information readable by that specific user.

The regulate_class_connection takes a block that will execute in the context of the current acting_user (which may be nil), and if the block returns any truthy value, the connection will be made.

The regulate_instance_connections likewise takes a block that is executed in the context of the current acting_user. The block may do one of following:

• raise an error meaning the connection cannot be made

• return a falsy value also meaning the connection cannot be made

• return a single object meaning the connection can be made to that object

• return a enumerable of objects meaning the connection can made to any member of the enumerable

Note that the object (or objects) returned are expected to be of the same class as the regulated policy.

# Create a class connection only if the acting_user is non-nil (i.e. logged in:)
regulate_class_connection { self }
# Always open the connection:
regulate_class_connection { true }
# Which can be shortened to:
always_allow_connection
# Create a class level connection if the acting_user is an admin:
regulate_class_connection { admin? }
# Create an instance connection for the current user:
regulate_instance_connections { self }
# Create an instance connection for the current user if the user is an admin:
regulate_instance_connections { self if admin? }
# create an instance_connection to the users' group
regulate_instance_connections { group }
# create an instance connection for any team the user belongs to
regulate_instance_connections { teams }

Class Names Instances and IDs

While establishing connections, classes are represented as their fully scoped name, and instances are represented as the class name plus the result of calling id on the instance.

Typically connections are made to ActiveRecord models, and if those are in the app/hyperloop/models folder everything will work fine.

Acting User

Hyperloop looks for an acting_user method typically defined in the ApplicationController and would normally pick up the current session user, and return an appropriate object.

class ApplicationController < ActiveController::Base
  def acting_user
    @acting_user ||= session[:current_user_id] && User.find_by_id(session[:current_user_id])
    end
  end
end

Automatic Connection

Connections to channels available to the current acting_user are automatically made on the initial page load. This behavior can be turned off with the auto_connect option.

class TeamPolicy
  # Allow current users to establish connections to any teams they are
  # members of, but disable_auto_connect
  regulate_instance_connections(auto_connect: false) { teams }
end

Its important to consider turning off automatic connections for cases like the above where the user is likely to be a member of many teams. Typically the client application will want to dynamically determine which specific teams to connect to given the current state of the application.

Manually Connecting to Channels

Normally the client will automatically connect to the available channels when a page loads, but you can also manually connect on the client in response to some user action like logging in, or the user deciding to display a specific team status on their dashboard.

To manually connect a client use the Hyperloop.connect method.

The connect method takes any number of arguments each of which is either a class, an object, a String or Array.

If the argument is a class then the connection will be made to the matching class channel on the server.

# connect the client to the AdminUser class channel
Hyperloop.connect(AdminUser)
# if the connection is successful the client will begin getting updates on the
# AdminUser class channel

If the argument is an object then a connection will be made to the matching object on the server.

# assume current_user is an instance of class User
Hyperloop.connect(current_user)
# current_user.id is used to establish which User instance to connect to on the
# server

The argument can also be a string, which matches the name of a class on the server

Hyperloop.connect('AdminUser')
# same as AdminUser class

or the argument can be an array with a string and the id:

Hyperloop.connect(['User', current_user.id])
# same as saying current_user

You can make several connections at once as well:

Hyperloop.connect(AdminUser, current_user)

Finally falsy values are ignored.

You can also send connect directly to ActiveRecord models:

AdminUser.connect    # same as Hyperloop.connect(AdminUser)
current_user.connect # same as Hyperloop.connect(current_user)

Connection Sequence Summary

For class connections:

1. The client calls Hyperloop.connect.

2. Hyperloop sends the channel name to the server.

3. Hyperloop has its own controller which will determine the acting_user,

4. and call the channel's regulate_class_connection method.

5. If regulate_class_connection returns a truthy value then the connection is made,

6. otherwise a 500 error is returned.

For instance connections:

1. The process is the same but the channel name and id are sent to the server.

2. The Hyperloop controller will do a find of the id passed to get the instance,

3. and if successful regulate_instance_connections is called,

4. which must return an either the same instance, or an enumerable with that instance as a member.

5. Otherwise a 500 error is returned.

Note that the same sequence is used for auto connections and manually invoked connections.

Disconnecting

Calling Hyperloop.disconnect(channel) or channel.disconnect! will disconnect from the channel.

Broadcasting and Broadcast Policies

Broadcast policies can be defined for channels using the regulate_all_broadcasts method, and for individual objects (typically ActiveRecord models) using the regulate_broadcast method. A regulate_all_broadcasts policy is essentially a regulate_broadcast that will be run for every record that changes in the system.

After an ActiveRecord Model change is committed, all active class channels run their channel broadcast policies, and then the instance broadcast policy associated with the changing Model is run. So for any change there may be multiple channel broadcast policies involved, but only one (at most) regulate_broadcast.

The result is that each channel may get a filtered copy of the record which is broadcast on that channel.

The purpose of the policies then is to determine which channel sees what. Each broadcast policy receives the instance of the policy which responds to the following methods

• send_all: send all the attributes of the record.

• send_only: send only the listed attributes of the record.

• send_all_but: send all the attributes except the ones listed.

The result of the send... method is then directed to the set of channels using the to method:

policy.send_all_but(:password).to(AdminUser)

Within channel broadcast policies the channel is assumed to be the channel in question:

class AdminUserPolicy
  regulate_all_broadcasts do |policy|
    policy.send_all_but(:password) #.to(AdminUser) is not needed.
  end
end

The to method can take any number of arguments:

• a class naming a channel,

• an object that is instance channel,

• an ActiveRecord collection,

• any falsy value which will be ignored,

• or an array that will be flattened and merged with the other arguments.

The broadcast policy executes in the context of the model that has just changed, so the policy can use all the methods of that model, especially relationships. For example:

class Message < ActiveRecord::Base
  belongs_to :sender, class: "User"
  belongs_to :recipient, class: "User"
end

class MessagePolicy
  regulate_broadcast do |policy|
    # send all attributes to both the sender, and recipient User instance channels
    policy.send_all.to(sender, recipient)
    # send all attributes to intersection
    policy.send_all.to(sender.teams.merge(recipient.teams)) unless private?
  end
end

It is possible that the same channel may be sent a record from different policies, in this case the minimum set of attributes will be sent regardless of the order of the send operations. For example:

policy.send_all_but(:password).to(MyChannel)
# ... later
policy.send_all.to(MyChannel)
# MyChannel gets everything but the password

or even

policy.send_only(:foo, :bar).to(MyChannel)
policy.send_only(:baz).to(MyChannel)
# MyChannel gets nothing

Keep in mind that the broadcast policies are sent a copy of the policy object so you can use helper methods in your policies. Also you can add policy specific methods to your models using class_eval thus keeping policy logic out of your models.

So we could for example we can rewrite the above MessagePolicy like this:

class MessagePolicy
  Message.class_eval do
    scope :teams_for_policy, -> () { sender.teams.merge(recipient.teams) }
  end
  def teams  # the obj method returns the instance being regulated
    [obj.sender, obj.recipient, !obj.private? && obj.teams_for_policy]
  end
  regulate_broadcast { |policy| policy.send_all.to(policy.teams) }
end

Browser Initiated Change policies

To allow code in the browser to create, update or destroy a model, there must be a change access policy defined for that operation.

Each change access policy executes a block in the context of the record that will be accessed. The current value of acting_user is also defined for the life of the block.

If the block returns a truthy value access will be allowed, otherwise if the block returns a falsy value or raises an exception, access will be denied.

In the below examples we assume that your user model responds to admin? but this is not built into Hyperloop.

class TodoPolicy
  # allow creation to any logged in user
  allow_create { acting_user }
  # only allow the owner, author any any admin to update a todo
  allow_update { acting_user == owner || acting_user == author || acting_user.admin? }
  # don't allow Todo's to be destroyed
  # this is the default behavior so its not actually needed
  allow_destroy { false }
end

There are several variants of the access policy method:

class ConfigDataPolicy
  allow_change(on: [:create, :update, :destroy]) { acting_user.admin? }
  # which can be shortened to:
  allow_change { acting_user.admin? }
end

class ApplicationPolicy
  # do any thing to all models unless we are in production!  Be careful!
  allow_change(to: :all) { true } unless Rails.env.production?
  # and always allow admins to destroy models globally:
  allow_change(to: :all, on: :destroy) { acting_user.admin? }
  # which is the same as saying:
  allow_destroy(to: :all) { acting_user.admin? }
  # you can create model specific policies in the Application Policy as well.
  # Here we allow the author of a message to destroy the message within 5
  # minutes of creation.
  allow_destroy(to: Message) do
    return true if acting_user == author && created_at > 5.minutes.ago
    return true if acting_user.admin?
  end
end

Note that there is no allow_read method. Read access is granted if this browser would have the attribute broadcast to it.

Method Summary and Name Space Conflicts

Policy classes (and the Hyperloop::PolicyMethods module) define the following class methods:

• regulate_connection

• regulate_all_broadcasts

• regulate_broadcast

As well as the following instance methods:

• send_all

• send_all_but

• send_only

• obj

To avoid name space conflicts with your classes, Hyperloop policy classes (and the Hyperloop::PolicyMethods module) maintain class and instance attr_accessors named synchromesh_internal_policy_object. The above methods call methods of the same name in the appropriate internal policy object.

You may thus freely redefine of the class and instance methods if you have name space conflicts

class ProductionCenterPolicy < MyPolicyClass
  # MyPolicyClass already defines our version of obj
  # so we will call it 'this'
  def this
    synchromesh_internal_policy_object.obj
  end
  ...
end

TODO: rewrite the following:

First as you say to explicitly send stuff to all applicants. Policies work "backwards" to how you might think in a controller. In a controller you might check something like acting_user.chatrooms.include?(message.chatroom) whereas Hyperloop starts from the other end, it'll effectively do something like this message.chatroom.participants.include?(acting_user). Your job in a policy is to start with the actual record, then traverse the relationships to return the user or users it belongs to. Think in terms of "I have a thing, who are all the people who are allowed to see it?". Now that may or may not work in your case. If you have anonymous accounts for applicants but they all still have user records and thus IDs then it will work — job_posting.hiring_manager.applicants. But if applicants didn't have any record then you couldn't use this style of "instance channel policy". Instance == ids == non-public. So if something is public you can use a class channel. send_all.to(Applicant). Finally you can have many channels or just a few. In our app I've gone with a user instance channel, and a user class channel. That's just what works for my mental model. But you could have other instance and class channels to make dividing things up easier, your scope chains shorter, etc. Hopefully you can look at the docs now and see instance, class, channel, broadcast, etc. and come up with a way that works for you. Mitch's snippet looks good, I just tried to give some surrounding color.

The policy send all bit is about once you've got a record/records, are you allowed to see it and what attributes are you allowed to see (in that case all, but you can permit a subset). The regulate bit is about what relations are you allowed to access. It may seem redundant as without regulations event if you loaded the relation you still wouldn't be able see any of the record attributes without a policy. So even without regulations there's no risk of exposing private information. BUT what would leak is lists IDs and counts. A count doesn't instantiate any records so there's nothing to run a policy on. Leaking counts and IDs is metadata that may or may not be sensitive, aka you wouldn't want an insurance company to be able to do patient.diseases.count. And if you're using UUIDs so you don't sequentially leak all of your public pages, again you'd want a regulation to protect that. They can also prevent denial of service attacks loading big expensive relations. So, broadcast policies are about who can see the attributes of an individual record (or collection but it's still run on each record individually). Regulations are about preventing business data leakage.

from Mitch...

These work very similar to pundit, and by design you can even mix pundit and hyperloop policies. Here is an example pundit policy from the pundit tutorial:

# app/policies/article_policy.rb
class ArticlePolicy < ApplicationPolicy
  def index?
    true
  end

  def create?
    user.present?
  end

  def update?
    return true if user.present? && user == article.user
  end

  def destroy?
    return true if user.present? && user == article.user
  end

  private

    def article
      record
    end
end

class ArticlePolicy < ApplicationPolicy
  # def index?
  #   true
  # end

  # read policies are defined as part of broadcast policies.  (if you can receive
  # it in a broadcast then you can read it)
  # There is no controller in hyperloop so broadcast/read policies
  # are defined in terms of what data is sent to what channel

  regulate_broadcast do |policy|
    policy.send_all.to Application
  end

  # def create?
  #   user.present? <- create is okay if user is not nil
  # end

  allow_create { acting_user }  # <- create is okay if acting_user is  not nil

  # def update?
  #   return true if user.present? && user == article.user
  # end

  # only difference is hyperloop makes it easier by
  # 1) running the block with self == the the record
  # 2) adding the acting_user method to self
  # 3) treating exceptions as the same as nil

  allow_update { acting_user == user }

  # def destroy?
  #   return true if user.present? && user == article.user
  # end

  allow_destroy { acting_user == user }

  # the above two regulations are the same and so can be dried up like this:

  allow_change(on: [:update, :destroy]) { acting_user == user }

  # private
  #
  #   def article
  #     record
  #   end
end

without comments....

class ArticlePolicy < ApplicationPolicy
  regulate_broadcast { |policy| policy.send_all.to Application }

  allow_create { acting_user }  # <- create is okay if acting_user is  not nil

  allow_change(on: [:update, :destroy]) { acting_user == user }
end

BTW what if you want to restrict what data is broadcast? In Hyperloop you just update the regulation. In pundit you may have to edit both the index controller method and Policy class.