Attributed protocols