Information Technology Reference
In-Depth Information
action lpr -s(Agent,Printer,File)
Pre: printer(Printer),
action Touch(Agent,File)
file(File),
Pre: OperatingSystem(UNIX)
authorized(Agent,read,File),
Post: file(File),
authorized(Agent,read,File)
OperatingSystem(UNIX)
Post: queued(File,Printer)
action Get-file(Agent,Printer,File)
Pre: printed(Printer,File),
physical_access(Agent,Printer)
Post: read_access(Agent,File)
action Remove(Agent,File)
action ln -s(Agent,Link,File)
action Print-process(Printer,Link)
objective illegal_access(Agent,File)
Pre: authorized(Agent,read,File),
Pre: not(file(Link)),
Pre: queued(Link,Printer),
state_condition: not(authorized(Agent,read,File)),
file(File)
OperatingSystem(UNIX)
linked(Link,File),
read_access(Agent,File)
Post: not(file(File))
Post: linked(Link,File),
not(blocked(Printer))
file(File)
Post: printed(Printer,File),
not(queued(Link,Printer))
action Block(Agent,Printer)
action Unblock(Agent,Printer)
Pre: printer(Printer),
Pre: printer(Printer),
physical_access(Agent,Printer),
blocked(Printer),
not(blocked(Printer)
Post: blocked(Printer)
physical_access(Agent,Printer)
Post: not(blocked(Printer))
